__FILE1__
Life ::= SEQUENCE{
			eat	eating
			drink	drinking
			smoke	smoking
			run CHOICE
				  {
					fast faster
					slow slower
				   }
		 }

Dave :: = CHOICE {
			club clubing
			bat  batting
		}

      __FILE2__
Life ::= SEQUENCE{
			eat	eating
			drink	drinking
			dummy 	smoking
			run CHOICE
				  {
					fast faster
					slow slower
				   }
		 }
Dave ::= CHOICE {
			club clubing
			bat  batting
		}