93         terminator.Crash("Character array comparison: operands are not "  in Compare()
112     terminator.Crash("Compare: could not allocate storage for result");  in Compare()
167     terminator.Crash("ADJUSTL/R: could not allocate storage for result");  in AdjustLRHelper()
191     terminator.Crash("ADJUSTL/R: bad string type code %d",  in AdjustLR()
221     terminator.Crash("LEN_TRIM: could not allocate storage for result");  in LenTrim()
256     terminator.Crash("not yet implemented: LEN_TRIM: KIND=%d", kind);  in LenTrimKind()
402     terminator.Crash("SCAN/VERIFY: could not allocate storage for result");  in GeneralCharFunc()
457     terminator.Crash("not yet implemented: INDEX/SCAN/VERIFY: KIND=%d", kind);  in GeneralCharFuncKind()
502           terminator.Crash("Character MAX/MIN: operands are not "  in MaxMinHelper()
557     terminator.Crash(  in MaxMin()
578         terminator.Crash("Character array concatenation: operands are not "  in RTNAME()
599     terminator.Crash(  in RTNAME()
647           terminator.Crash("Character array assignment: operands are not "  in RTNAME()
699       terminator.Crash(  in RTNAME()
727       terminator.Crash(  in RTNAME()
755       terminator.Crash(  in RTNAME()
760     terminator.Crash(  in RTNAME()
786     terminator.Crash("CharacterCompareScalar: bad string type code %d",  in RTNAME()
822     terminator.Crash("CharacterCompareScalar: bad string type code %d",  in RTNAME()
885     terminator.Crash(  in RTNAME()
914     terminator.Crash("LEN_TRIM: bad string type code %d",  in RTNAME()
950     terminator.Crash(  in RTNAME()
959     terminator.Crash(  in RTNAME()
966     terminator.Crash("REPEAT could not allocate storage for result");  in RTNAME()
994     terminator.Crash(  in RTNAME()
1034     terminator.Crash(  in RTNAME()