anchor.diff:  
   WS5:	[ \t\r\n\f]+ -> channel(HIDDEN);
   LINE_COMMENT5:
  -(	
  -	'//' ~[\r\n]* 
  +(
  +	'//' ~[\r\n]*
   |	'#' ~[\r\n]*
   ) -> channel(HIDDEN);
   BLOCK_COMMENT5:	'/*' .*? '*/' -> channel(HIDDEN);
  
positive.code: |	FR_NUMBER9+ ('E' | 'e') ('+' | '-')? FR_NUMBER9+
  )
  ;
  BIN9:				[01];				
  BITSTRING9:			'\'' (BIN9)* '\'' 'B';
  BS9:				'bitstring';
  MACRO_BSTR9:		'$' '{' (WS9)? FR_TTCN3IDENTIFIER9 (WS9)? ',' (WS9)? BS9 (WS9)? '}';
  HEX9:				[0-9A-Fa-f];			
  HEXSTRING9:			'\'' (HEX9)* '\'' 'H';
  HS9:				'hexstring';
  MACRO_HSTR9:		'$' '{' (WS9)? FR_TTCN3IDENTIFIER9 (WS9)? ',' (WS9)? HS9 (WS9)? '}';
  OCT9:				HEX9 HEX9;			
  OCTETSTRING9:		'\'' (OCT9)* '\'' 'O';
  OS9:				'octetstring';
  MACRO_OSTR9:		'$' '{' (WS9)? FR_TTCN3IDENTIFIER9 (WS9)? ',' (WS9)? OS9 (WS9)? '}';
  
negative.code: 
  WS8:	[ \t\r\n\f]+ -> channel(HIDDEN);
  LINE_COMMENT8:
  (
  	'//' ~[\r\n]*
  |	'#' ~[\r\n]*
  ) -> channel(HIDDEN);
  BLOCK_COMMENT8:		'/*' .*? '*/' -> channel(HIDDEN);
  