Answer from cs61c-ap (Nicole Rungsitiyakorn 13543412) for Question 2
The new language would not need to allocate frames on the stack. In our nonrecursive language, each procedure's frame may be statically allocated sinc only one invocation of a procedure can be active at a time. we would avoid over loading the stack.