2. Consider the following program in a Pascal-like language with statio scoping rules are applied: procedure main var i, j, k:integer; var a [3]:integer; procedure Q(m,n) var k : integer; begin {Q} k=1; n=m+1; m=m+4; print i, j. k,a[1],a[2]; end; {Q} procedure P(k,w) var i: integer; begin (P} I =0; y=k+w: w=j+k; print i, J, k, a [1], a[2]; Q(1, a [J]); end; {P} begin \{main\} 1=1;j=2;k=6;a[1]=5;a[2]=1 P(1, a []]); end. {main} What will be the output of the program with static scoping and if a) A.1 parameters are pass-by-reference, b) A11 parameters are pass-by-value, and c) A11 parameters are pass-by-value-result