extensions.java.io.BufferedReader
extensions.java.io.File
extensions.java.io.InputStream
extensions.java.io.OutputStream
extensions.java.io.Reader
extensions.java.io.Writer
manifold.io