85         terminator.Crash("Character array comparison: operands are not "  in Compare()
99     terminator.Crash("Compare: could not allocate storage for result");  in Compare()
150     terminator.Crash("ADJUSTL/R: could not allocate storage for result");  in AdjustLRHelper()
174     terminator.Crash("ADJUSTL/R: bad string type code %d",  in AdjustLR()
201     terminator.Crash("LEN_TRIM: could not allocate storage for result");  in LenTrim()
231     terminator.Crash("LEN_TRIM: bad KIND=%d", kind);  in LenTrimKind()
278           terminator.Crash("Character MAX/MIN: operands are not "  in MaxMinHelper()
330     terminator.Crash(  in MaxMin()
352         terminator.Crash("Character array concatenation: operands are not "  in RTNAME()
371     terminator.Crash(  in RTNAME()
419           terminator.Crash("Character array assignment: operands are not "  in RTNAME()
470       terminator.Crash(  in RTNAME()
498       terminator.Crash(  in RTNAME()
526       terminator.Crash(  in RTNAME()
531     terminator.Crash(  in RTNAME()
555     terminator.Crash("CharacterCompareScalar: bad string type code %d",  in RTNAME()
591     terminator.Crash("CharacterCompareScalar: bad string type code %d",  in RTNAME()
647     terminator.Crash("LEN_TRIM: bad string type code %d",  in RTNAME()
658     terminator.Crash("REPEAT could not allocate storage for result");  in RTNAME()
686     terminator.Crash(  in RTNAME()