static char _skip_space(TextReader &r) { char c = 0; std::string comment; while ((c = r.nextnotspace()) == ';') { comment.clear(); r.until(comment, '\n'); } return r.at(); }