int main(void) { utest1(); utest2(); utest3(); return 0; }
/* main ----------------------------------------------------------------------*/ int main(int argc, char **argv) { utest1(); utest2(); utest3(); return 0; }
int main(void) { utest1(); utest2(); utest3(); utest4(); utest5(); utest6(); utest7(); utest8(); utest9(); utest10(); utest11(); return 0; }