Figure 4:
Function f has to shift down the return address to fit all of b's arguments onto the stack.