Callee-saved register saving

[vegard]

There's a bug right now where calling print inside a function will mess up the registers, probably because register saving is not done correctly.