4 calls to
INT_GET_TI_HEADER
EXT_INT_GET_NEXT_VAR
EXT_INT_GET_NEXT_VAR
EXT_INT_GET_DOM_TI_REAL
EXT_INT_GET_DOM_TI_INTEGER