EXT_INT_IOINIT
EXT_INT_OPEN_FOR_WRITE
EXT_INT_OPEN_FOR_WRITE_BEGIN
EXT_INT_OPEN_FOR_WRITE_COMMIT
EXT_INT_OPEN_FOR_READ
EXT_INT_INQUIRE_OPENED
EXT_INT_INQUIRE_FILENAME
EXT_INT_IOSYNC
EXT_INT_IOCLOSE
EXT_INT_IOEXIT
EXT_INT_GET_NEXT_TIME
EXT_INT_SET_TIME
EXT_INT_GET_VAR_INFO
EXT_INT_GET_NEXT_VAR
EXT_INT_GET_DOM_TI_REAL
EXT_INT_PUT_DOM_TI_REAL
EXT_INT_GET_DOM_TI_DOUBLE
EXT_INT_PUT_DOM_TI_DOUBLE
EXT_INT_GET_DOM_TI_INTEGER
EXT_INT_PUT_DOM_TI_INTEGER
EXT_INT_GET_DOM_TI_LOGICAL
EXT_INT_PUT_DOM_TI_LOGICAL
EXT_INT_GET_DOM_TI_CHAR
EXT_INT_PUT_DOM_TI_CHAR
EXT_INT_GET_DOM_TD_CHAR
EXT_INT_PUT_DOM_TD_CHAR
EXT_INT_GET_VAR_TI_CHAR
EXT_INT_PUT_VAR_TI_CHAR
EXT_INT_READ_FIELD
EXT_INT_WRITE_FIELD