#include int main(int argc, const char **argv) { puts("Hello, world!\n"); return 0; }