public void write(int __at, byte[] __b, int __o, int __l)
        throws IndexOutOfBoundsException, NullPointerException, VMException
    {
        if (__b == null)
            throw new NullPointerException("NARG");