In the stack effects of the following words, ignore the occurences of “...” in the stack-pointer fetching words.
User
variable – initial value of the data stack pointer.
User
variable – initial value of the floating-point stack pointer.
User
variable – initial value of the return stack pointer.
User
variable – initial value of the locals stack pointer.
C_addr is the current value of the locals stack pointer.