2 calls to
INT_GEN_TI_HEADER
EXT_INT_PUT_DOM_TI_REAL
EXT_INT_PUT_DOM_TI_INTEGER