#include<stdio.h>

int main() {
    printf("Hello world!\n");
    printf("%ld\n", __STDC_VERSION__);

    return 0;
}