Return from procedures, correctly address variables in nested scopes, make space for the return address from the callers stack