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