int main(int argc, char * argv[])
{
    plan_tests(6);
    main_tests();
    return exit_status();
}
int main(void)
{
  return main_tests ();
}