1. Consider the following pseudocode:

1. procedure main()
2. a : integer := 1
3. b : integer := 2

4. procedure middle()
5. b : integer := a

6. procedure inner()
7. print a, b

8. a : integer := 3

9. --body of middle
10. inner()
11. print a, b

12. --body of main
13. middle()
14. print a, b

What does the above program print (or will the compiler identify static semantic errors), under the following assumptions:

1. names must be declared before use, but the scope of a name is the entire block in which it is declared.
2. names can be declared in any order and their scope is the entire block in

which they are declared.

3. names must be declared before use and the scope of a name extends from its declaration through the end of the block.