1 2 3 4 5 6 7 8 9 10 11 12 13
int f(unsigned number_of_digits_to_use) { if (number_of_digits_to_use >1294) return 0; return (number_of_digits_to_use * 3321928 / 1000000 + 1) /16; } int main(void) { if (f(11) != 2) __builtin_abort (); exit (0); }