protected static int find_single_char(int ch){
  Integer result;
  result=(Integer)char_symbols.get(new Integer((char)ch));
  if (result == null)   return -1;
 else   return result.intValue();
}

protected static int find_single_char ( int ch ) { Integer result ; result = ( Integer ) char_symbols . get ( new Integer ( ( char ) ch ) ) ; if ( result == null ) return - 1 ; else return result . intValue ( ) ; }
try to look up a single character symbol , returns - 1 for not found .
