This rewrites the parts that can not be safely written in C (ie the
low-level register save/restore) to assembly.