private void jump_to_next_line() { while (cur_token != '\r' && cur_token != '\n' && cur_token != 0) { get_src_token(); } }