#include<stdio.h>
int main() {
printf("Hello world!\n");
printf("%ld\n", __STDC_VERSION__);
return 0;
}