saved_b           191 ext/standard/md5.c 	php_uint32 saved_a, saved_b, saved_c, saved_d;
saved_b           202 ext/standard/md5.c 		saved_b = b;
saved_b           279 ext/standard/md5.c 		b += saved_b;