CHAR_ADD_STRING  2
CHAR_ARRAY_LET_STRING  1
CHAR_EQ_STRING  1
CHAR_GE_STRING  1
CHAR_GT_STRING  1
CHAR_INDEX_STRING  1
CHAR_LET_STRING  1
CHAR_LE_STRING  1
CHAR_LT_STRING  1
CHAR_NE_STRING  1
CHAR_PUT  1
CHAR_PUT_DEFAULT  1
CHAR_PUT_LINE  1
CHAR_PUT_LINE_DEFAULT  1
CHAR_TO_STRING  1
EXTRACT_STRING  1
SPLIT_C  1
SPLIT_S  1
STRING_ADD_CHAR  2
STRING_ADD_STRING  2
STRING_EQ_CHAR  1
STRING_EQ_STRING  1
STRING_GET  1
STRING_GET_DEFAULT  1
STRING_GE_CHAR  1
STRING_GE_STRING  1
STRING_GT_CHAR  1
STRING_GT_STRING  1
STRING_INDEX_CHAR  1
STRING_INDEX_STRING  1
STRING_LEN  1
STRING_LET_CHAR  1
STRING_LET_CHAR_ARRAY  1
STRING_LE_CHAR  1
STRING_LE_STRING  1
STRING_LT_CHAR  1
STRING_LT_STRING  1
STRING_NE_CHAR  1
STRING_NE_STRING  1
STRING_PUT  1
STRING_PUT_DEFAULT  1
STRING_PUT_LINE  1
STRING_PUT_LINE_DEFAULT  1
STRING_SCAN_CHAR  1
STRING_SCAN_STRING  1
STRING_TO_CHAR_LENGTH  1
STRING_VERIFY_CHAR  1
STRING_VERIFY_STRING  1