implementation module fib_eqI_b

(+) :: !Int !Int -> Int
(+) a b
	= code inline {
		addI
	}

(-) :: !Int !Int -> Int
(-) a b
	= code inline {
		subI
	}

fib :: Int -> Int
fib 0 = 1
fib 1 = 1
fib n = fib (n-2) + fib (n-1)

Start = fib 43