Answer from cs61c-cd (Charles Leung 15905350) for Question 1
One convention is to return the s registers to the original values when a procedure call is finished.  Another convention is that the t registers should not expect to have the same values after a function call.