SEQ_IO_WRITE_INT calls