Return specifications

The contents of the registers on return must be:

Registers 0–14

Same as on entry

Register 15

Return code