resource foo()
  const N := 10; var a[N]: int
  fa i := 1 to 10 -> a[i] := i af
  procedure ... end
  const S := 20
  var b[S,S]: int
  begin   # code to initialize b
    var c := 0
    fa i := 1 to S, j := 1 to S ->
      b[i,j] := c+\&+
    af
  end
  procedure ... end
  final
     ...
  end
end
