declare fun {Fib N} if N =< 0 then 1 elseif N==1 then 1 else {Fib N-1} + {Fib N-2} end end {Browse '{Fib 2}'#{Fib 2}} {Browse {Fib 3}} {Browse {Fib 4}} {Browse 3#true#'a symbol'} {Browse 3 true 'a symbol'}