private void C() { format_line.Append("\t\t;" ); char ch = get_src_token(); while (ch != '\n' && ch!='\r' && ch != 0) { format_line.Append(ch); ch = get_src_token(); } return; }