class Main{
    main():Int{{a; a; if a then b else c fi; while a loop a pool;}};
    main():Int{{a;
	        {a; {a; {a;a;a;}; }; };
              }};
    a : Int <- {a;a;a;a;};
};