is the character-string that replaces occurrences of compare-val.
  Its content restrictions are the same as those for compare-val.