#include #include int main(int argc, char *argv[]) { PROT_WRITE; puts("Hello, world!"); }