#include <stdio.h>
int main() {
	printf("Hello, world!\n");
}
void foo() {
	printf("%d\n", 123);
}