main module convert %set debug_object_1=true %set debug_object_2=true %set debug_object_3=true %set debug_object_4=true %set debug_object_5=true declare x: static integer initially 1 y: static real initially 1 z: static array [1..128] of real zz: array [1..128] of real a : array [1..128] of integer enddeclare y := 1.2 for i := 1 to 128 do y := zz[i] endfor endmodule