SEQ_IO_READ_INT calls