void print(char *msg) {
	printf("msg: %s\n", msg);
}