void clean_up_mess() { ts.ignore(print); }
void clean_up_mess() { ts.ignore(PRINT); }
void clean_up_mess() // Ignores all characters before ';' if an exception was thrown { ts.ignore(print); }
void clean_up_mess(Token_stream& ts) { ts.ignore(print); }