tmp: Integer io buffer extensions