Consider the following pseudocode.

Suppose this was code for a language with the declaration$-$order rules of $C($but with nested

subroutines$)-$ that is$,$ names must be declared before use, and the scope of a name extends from its

declaration through the end of the block. At each print statement $($lines $7,11,14),$ indicate which

declarations of a and $b$ are in the referencing environment. For any of these following questions$/$sub$-$

problems, if there is a static $($compile$-$time$)$ semantic error according to the rules, indicate and

describe what the error is$.$

a$)$ Using $C$ rules, what does the program print or will the compiler identify static semantic errors?

Assume procedures$/$functions can be nested and classes do not exist.

b$)$ Repeat the exercise for the declaration$-$order rules of $C$ # names: local, non$-$local, non$-$class$-$

member names must be declared before use, but the scope of a name is the entire block in which

it is declared.

c$)$ Repeat the exercise using Modula$-3$ scope rules: all names can be declared in any order, and

their scope is the entire block in which they are declared.