Move WRITE_INT to util-io.h, so other programs can use it too.