public final char yycharat(int pos) {return zzBuffer[zzStartRead+pos];}

public final char yycharat ( int pos ) { return zzBuffer [ zzStartRead + pos ] ; }
public char YyCharAt(int pos){return zzBuffer[zzStartRead + pos];}
