return -1;
case 'w': if (s.equals("with")) return RESERVED; else return -1;
case 'v': if (s.equals("void")) return RESERVED; else return -1;
return -1;
case 'w': if (s.equals("with")) return RESERVED; else return -1;
case 'v': if (s.equals("void")) return RESERVED; else return -1;