test/t12_main.nsc

i32 helper(i32 x);
global i32 main(void) {
	return helper(14);
}