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