private void back_src_token() { //src_line.Remove(src_line.Length - 1, 1); token_index--; line_at--; cur_token = src_content[token_index]; }