#include<stdio.h>

int main(){
	int x = 5;
	printf("hi %d\n", x);
	printf("walrus\n");
	return 42;
}