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