%set debug_print_ccode = true
main module timed
    declare
	ONE = cardinal (1)
	C_range is cardinal range 1..10
	C is array [C_range] of cardinal
	D : C initially C ([ONE]:1)
	E : cardinal
    enddeclare

    E := D [ONE]
endmodule