/* HELLO! Welcome to the unnamed language */

let putchar = () => i64 {
	return 0;
};

let main = () => i64 {
	putchar();
	return 7;
};

/*

Expected stdout:

Expected return: 7

*/