fib == [small] [] [pred dup pred] [+] binrec;