[fib
   [small?] []
     [pred dup pred]
     [+]
   binrec].