module TESTSPACE
    export A 
    declare
	BLANK_Char is char 
	Which_one is [Test_1, Test_2, Test_3]
	sam is [sam_1,sam_2,sam_3,sam_4,sam_5]
	Struct_1 is structure
	    joe : sam /////initially sam_1
	endstructure
	A is
	    packed  structure
		My_tag : which_one
		my_fill : 8 bit integer
		select my_tag from
		    case Test_1:
			F : array [2..3] of 5 bit integer
			C : packed array [1..4] of BLANk_char
	 		B : struct_1
		    case Test_2:
			J : 12 bit integer
			Hole : 14 bit integer
		endselect
	    endstructure
    enddeclare
procedure TESTSPACE ()
    declare
	T : A
    enddeclare
    if t.my_tag = test_1 do
        T .F[2] := 5
    endif
endprocedure
endmodule