static byte[] slice(byte[] src, int srcOff) {
	try {
	    anInt8015++;
	    int length = src.length;
	    byte[] dest = new byte[length];
	    ArrayUtils.arrayCopy(src, srcOff, dest, 0, length);
	    return dest;
	} catch (RuntimeException runtimeexception) {
	    throw Class348_Sub17.method2929(runtimeexception,
					    ("wga.GI("
					     + (src != null ? "{...}" : "null")
					     + ',' + srcOff + ')'));
	}
    }