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