module A

num : Nat
num = 0