    @Test(expected=ExceptionWithContext.class)
    public void testReadOptionalUintTooLarge3() {

        BaseDexBuffer dexBuf = new BaseDexBuffer(new byte[] {(byte)0xfe, (byte)0xff, (byte)0xff, (byte)0xff});
        dexBuf.readSmallUint(0);
    }