+string function REPLACE (string haystack, string needle, string replacement)
+ expression e;
+ = replace_string (e, haystack, needle, replacement, DBL_MAX);
+
+absorb_miss string function REPLACE (string haystack, string needle,
+ string replacement, n)
+ expression e;
+ = replace_string (e, haystack, needle, replacement, n);
+