( 
xc-addr u1 -- 
xc-addr u2 )
      
      Examine the last xchar in the string 
xc-addr u1 — if the
      encoding is correct and it represents a full xchar, 
u2 equals
      
u1, otherwise, 
u2 represents the string without the
      last (garbled) xchar.  
-TRAILING-GARBAGE does not change this
      garbled xchar.