154155156157158159160
} if (input.charAt(head) == ' ') { head++; return getNextToken(step); } throw new UnrecognizedCharacterException(input, head); }