The semantics of a call to a “simple” subprogram requires the following actions: 1. Save the execution status of the current program unit. 2. Compute and pass the parameters. 3. Pass the return address to the called. 4. Transfer control to the called.