#include <classlib.h>
using namespace std;
#include <uc/tokens.h>

void grab_comments(const char* file)
{
  Tokenizer tok(file);
  while (tok.go_to("/*")) {
   cout << tok.line() << ": ";
   do { cout << tok.getch(); }
   while (! tok.next_is("*/"));
   cout << endl;
  }
}

int main(int argc, char**argv)
{
 grab_comments(argv[1]);
}