main module TESTarg
%set warn_dynamic_holy_types = true
    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
	 		B : struct_1
		    case Test_2:
			J : 12 bit integer
			Hole : 14 bit integer
		endselect
	    endstructure
    enddeclare

    procedure TESTSPACE
     	param		// this initially stops the diagnostic - not right?
	    W : out val A /////////////initially A(my_tag:Test_1)
    	endparam		
    endprocedure
    declare
	T : static A
    enddeclare

    TESTSPACE (T)
endmodule