v0 1515 lib/replace/snprintf.c double v0 = 0.12345678901234567890123456789012345678901; v0 1518 lib/replace/snprintf.c double r = v0*p;