Preserve the whole of %esp across prot_call(). We have to split this