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