Bool main () { Int x := 10; return True; }