!(ensure-loaded-p laz_fibo)

!(let $_ (fib-p 144 $Y) $Y)

!(let $_ (fib-p $X 555565404224292694404015791808) $X)