int printf(char *, ...);
int main(int argc, char **argv) {
   printf("hello world\n");
}