Consider the following pseudocode:

x : integer global

procedure P(n : integer)

x := n

procedure R()

write_integer(x)

procedure first()

P(1)

R()

procedure second()

x : integer

P(2)

R()

P(0)

first()

R()

second()

R()

• What does this program print if the language uses static scoping?
• What does it print with dynamic scoping? Why?