extern void do_test (void);

int
main ()
{
  do_test ();
  return 0;
}