saved_b           194 ext/standard/md5.c 	php_uint32 saved_a, saved_b, saved_c, saved_d;
saved_b           205 ext/standard/md5.c 		saved_b = b;
saved_b           282 ext/standard/md5.c 		b += saved_b;