main module forceptr declare x is structure command : integer status : integer endstructure y is array [1..10] of integer ptr_x is pointer x ptr_y is pointer y p : integer enddeclare force ptr_x (p)@.command := 1 ptr_x(p)@.command := 2 force ptr_y(p)@[2] := 10 endmodule