EXT_INT_GET_DOM_TI_CHAR 1 EXT_INT_GET_DOM_TI_INTEGER 1 EXT_INT_GET_DOM_TI_REAL 1 GET_NCD_DOM_TI_CHAR 1 GET_NCD_DOM_TI_INTEGER 1 GET_NCD_DOM_TI_REAL 1