1. Consider the following pseudocode, assuming nested subroutines and static scope:

procedure main()

g : integer

procedure B(a : integer)

x : integer

procedure A(n : integer)

g := n

procedure R(m : integer)

write_integer(x)

x /:= 2 integer division

if x > 1

R(m + 1)

else

A(m)

body of B

x := a a

R(1)

body of main

B(3)

write_integer(g)

1. What does this program print?

2. Show the frames on the stack when A has just been called. For each frame, show the static and dynamic links.

3. Explain how A finds g.