Consider the following pseudocode:

x$\}\backslash$mathrm$\{$ : integer:$=1$

y : integer :$=2$

procedure add

x:$=$x$+$y

procedure second$($P : procedure$)$

x$\}\backslash$mathrm$\{$ : integer :$=2$

P$()$

procedure first

y$\}\backslash$mathrm$\{$ : integer:$=3$

second$($add$)$

first$()$

write$\_$integer$($x$)$

$($a$)$ What does this program print if the language uses static scoping?

$($b$)$ What does it print if the language uses dynamic scoping with deep

binding?

$($c$)$ What does it print if the language uses dynamic scoping with shallow

binding?