c_len 937 maint/gnulib/lib/vasnprintf.c size_t c_len = 9 * ((size_t)(a_len * (GMP_LIMB_BITS * 0.03345f)) + 1); c_len 940 maint/gnulib/lib/vasnprintf.c char *c_ptr = (char *) malloc (xsum (xsum (extra_zeroes, c_len), 1));