+ * OPERATION:
+ * The token list is emptied during parsing, so far as the parsing
+ * succeeds. This allows the caller to inspect the line/char position
+ * of the next token (where the error likely is) and report that hint to
+ * the user in the form of an error message.