tailcallelim!
store arguments on stack (precursor for variables)