main module TESTfunct
    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
	     structure
		My_tag : which_one ///initially Test_1
		my_fill : 8 bit integer ///initially 2
		select my_tag from
		    case Test_1:
			F : array [2..3] of 5 bit integer
			C : packed array [1..4] of BLANk_char
		    case Test_2:
			J : 12 bit integer
			Hole : 14 bit integer
		endselect
	    endstructure
    enddeclare

    function TESTSPACE ()
     returns
	    W :  A ///initially A(my_tag:Test_1)

	W .F[2] := 5
    endfunction

    declare
	T : static A
    enddeclare

    T := TESTSPACE ()
endmodule