Assuming the definition of M is at static nesting level 0. Draw the runtime stack that will be in effect at the execution of c := d - x;. Show the static and dynamic links, and the current positions of the EP and SP pointers. What is the static distance to ys environment of definition and the offset within the environment when a := c - b + y; is executed?

Consider the following segment of code: Procedure M var y: integer Procedure A x: integer) var a, b, ce: integer Procedure B var a, d: integer begin (B) end B begin (A) B() end A; begin fM) A(5) end M