Return specifications

The contents of the registers on return from the initialization and termination exits must be:
Registers 0–14
Same as on entry
Register 15
Return code