/* $begin hello */ #include int main() { printf("hello, world\n"); } /* $end hello */