shorten the rules in io-buffered.k