with open('main.c', 'w') as fp:
  print('''
#include <stdio.h>

int main(void) {
  printf(\"Hello World\");
  return 0;
}
''', file=fp)