int main() { write("Hello, World!\n"); return 0; }