import nat
import fib

-- main = natToInt (fibNat (intToNat 10))