main module flexlow declare x : array [1..100 ] of integer enddeclare procedure zap ( a : array [?l..?u] of integer ) swap ( a[l], a[u] ) endprocedure zap ( x ) endmodule