main module locini declare x : location (1024) integer initially 3 y : location (1056) structure a: integer b: integer initially 3 endstructure enddeclare x := 1 endmodule