extern void print(char *fmt, ...);