main module mixup
    declare
    	x: static packed array [1..32] of boolean
	i: static integer initially 18
    enddeclare

    x[i] := true

endmodule