type main: string -> integer
function entry: main

entry(arg) := {
	[integer : x]
    return 2;
}