saved_d           194 ext/standard/md5.c 	php_uint32 saved_a, saved_b, saved_c, saved_d;
saved_d           207 ext/standard/md5.c 		saved_d = d;
saved_d           284 ext/standard/md5.c 		d += saved_d;