4.1.2 What is the environment at each numbered point in the following ADA program? procedure main is max: constant Integer : =999; (1) type Nat is range 0 max; (2) m, n: Nat; (3) function func ( n : Nat) return Nat is begin (4) end func ; (5) procedure proc (m: Nat) is (6) n : constant Integer : =6; begin (7) end proc ; begin (8) end main; Figure 4.6 Program outline (Exercise 4.2.1)