main module OVERLAP

   declare
	tag is [joe, sam, pete, loren]
	A is structure
	    B : Tag
	    select B from
		case joe..sam:
			b1 :integer
		case sam:
			b2: integer
	    endselect
	endstructure
	C : A
   enddeclare

   C . b1 := 0
endmodule