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