fixed typo: int 32 is 4 bytes long.
Added IntListIO, useful for debugging.