module B.C

num : Nat
num = 1