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