#def fst p =
#    match p
#        with pair a b => a
#
#def snd p =
#    match p
#        with pair a b => b
#
#def main =
#    let p = pair zero (succ zero) in
#    let x = println (fst p) in
#    println (snd p)

def main : Top = top