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;
}