blob: aa608b2a2fedd9ac75c4023e3ce088d4241095b9 (
plain)
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);
}
|