int main (void) { tests_start (); mp_trace_base = 16; check_limbdata (); tests_end (); exit (0); }
int main (void) { tests_start (); check_data (); check_max (); check_limbdata (); tests_end (); exit (0); }