1#include <stdio.h>
2
3int main(int argc, const char *argv[])
4{
5    printf("Hello, world!\n");
6    return 0;
7}
8