main module TEST2By2 //%set debug_tree = true %set debug_print_ccode = true use TEXTIO declare L_type is packed array [1..4] of 4 bit integer M : static packed array [1..4] of L_type J : static integer enddeclare for M_index := 1 to 4 do for L_index := 2 to 4 do for K := -8 to 6 do M [M_index][L_index] := K if M [M_index][L_index] <> K do out_line (TTY, "BAD INDEXING") endif endfor endfor endfor endmodule