((S(((S' IF)((C <)3))(K 1)))
(((S' +) ((B CYCLE)  ((C -)1)))((B CYCLE)((C -)2)))).



((S(((S' IF)((C <)3))(K 1)))
(((S' +)((B CYCLE)((C -)1)))((B CYCLE)((C -)2)))).

this is fib(x), where:  n  fib(n)
                        1   1
                        2   1
                        3   2
                        4   3
                        5   5  ...
