/* $Id$
 * $Log$
 * Revision 1.1  2000/12/28 09:46:05  peterg
 * put under RCS
 *
 * Revision 1.1  2000/10/31 04:29:50  geraint
 * Initial revision
 *
 */

{
  /*
   * get remainder of line in case there are any commented keywords
   */
  char c;
  cout << " // ";
  cin >> c;
  while (c != '\n' && c != EOF)
  do {
    {
      cout << c;
      cin >> c;
    cout << c;
  } while (c != '\n' && cin >> c);
    }
  cout << endl
       << indent () << ';' << endl
       << indent ();
}