First variant to implement recur.tco trampoline decorator