main() { a := 1 b := 2 c := 3 d := 4 e := 5 f := 6 g := 7 assert a == 1 assert b == 2 assert c == 3 assert d == 4 assert e == 5 assert f == 6 assert g == 7 }