#include <stdio.h>
void f(char **p) {
	int i = 0;
	while (*p) {
		printf("%d:%s\n", i++, *p++);
	}
}
int main(void) {
	
	f((char*[]){"a", "b", NULL});
	return 0;
}