MetaTest:
CEDAR
PROGRAM =
BEGIN
i: [0..8) ← 5;
j: NAT ~ 3;
p:
PROC = {
a: ARRAY [0..10) OF ARRAY [0..8) OF CARDINAL ← ALL[ALL[0]];
FOR s: [0..10)
IN [0..10)
DO
FOR f: [0..7)
IN [0..7)
DO
a[s][f] ← a[s][f] + a[s][f+1]
ENDLOOP;
ENDLOOP;
FOR s: [0..10)
IN [0..10)
DO
FOR f: [0..7)
IN [0..7)
DO
a[&s][&f] ← a[&s][&f] + a[&s][&f+1];
ENDLOOP;
ENDLOOP;
};
q: PROC[i,j: CARDINAL] ~ {};
FOR i:
INT
IN [0..800)
DO
q[&i, 10];
ENDLOOP;
END.