%set on_unibus = true
main module TESTSPACE
    declare
	BLANK_Char is char 
	Which_one is [Test_1, Test_2, Test_3]
	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 : 32 bit integer
		    case Test_2:
			J : 12 bit integer
			Hole : 14 bit integer
		endselect
	    endstructure
	T : static A
    enddeclare

procedure TESTSPACE 
    param
	S : in val A
    endparam
endprocedure

TESTSPACE (T)
endmodule