This problem uses the following program. This program uses static (lexical) scoping procedure main O int a procedure foo (int i): procedure bar (int j): procedure recurse (int k): print b; b:= b / 2; recurse (k 1); else bar(k) recurse (1); foo (4); print a; a) What does this program print? (b) Rewrite this program, with all non-parameter variables replaced by (level,offset) pairs