new java_io_BufferedOutputStream( x$1, // java.io.OutputStream )
new java_io_BufferedOutputStream( x$1, // java.io.OutputStream x$2, // int )