i32 main() {
	printf("Hello world!\n");

	return 0;
}