Goes backward from xc-addr₁ until it finds an xchar so that the size of this xchar added to xc-addr₂ gives xc-addr1. There is an ambiguous condition when the encoding doesn't permit reliable backward stepping through the text.