module B.C

public export
num : Nat
num = 1