func int strlen(char[] str) {
	int i := 0;
	char c := str[i];
	while (c != '\0') {
		i = i + 1;
		c = str[i];
	}
	return i;
}

func int main() {return 0;}