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