code: public final char yycharat(int pos) {
      return zzBufferArray != null ? zzBufferArray[zzStartRead+pos]:zzBuffer.charAt(zzStartRead+pos);
    }
docs: Returns the character at position <tt>pos</tt> from the
  matched text.
  
  It is equivalent to yytext().charAt(pos), but faster
  
  @param pos the position of the character to fetch.
  A value from 0 to yylength()-1.
  
  @return the character at position pos