Answer from cs61c-bc (Svetlana Simakova 16608048) for Question 2
We could alliminate allocation of frames on stack - each procedure's frame is statically allocated, since only one invocation of the procedure can be active at the time. 

Problem is infinite recursion: if it is not allowed in the language, then it won't arise.