Like STRING-EQUAL, i.e. compares the special string STRING fromSTART1 to END1 with STRING2 from START2 to END2. Note that there's noboundary check - this has to be implemented by the caller.