blob: 56d4b1b1d463a160efce8d713740a7ff9f95d842 [file]
with open('main.c', 'w', encoding='utf-8') as fp:
print('''
#include <stdio.h>
int main(void) {
printf(\"Hello World\");
return 0;
}
''', file=fp)