Please explain in detail.

Consider the following pseudocode: 1. procedure main 2. a: integer := 1 3. b: integer := 2 procedure middle b: integer := a procedure inner print a, b a: integer : = 3 // body of middle inner() print a, b 12. 13. 14. // body of main middle ) print a, b (a) 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, indicate which declarations of a and b are in the referencing environment. What does the program print (or will the compiler identify static semantic errors)