EXT_INT_GET_NEXT_VAR
EXT_INT_GET_NEXT_VAR
EXT_INT_GET_DOM_TI_REAL
EXT_INT_GET_DOM_TI_INTEGER