Annotations for ring.util.io