}

            tagNo = b & 0x7f;

            // X.690-0207 8.1.2.4.2
            // "c) bits 7 to 1 of the first subsequent octet shall not all be zero."
            if (0 == tagNo) {
                throw new IOException("corrupted stream - invalid high tag number found");
            }

            while ((b & 0x80) != 0) {
                if (tagNo >>> 24 != 0) {

        int tagNo = ASN1Util.readTagNumber(s, 0x05);
        assertEquals(5, tagNo);
    }

    @Test
    void testReadTagNumber_HighTag() throws IOException {
        // High tag number (31)
        InputStream s = new ByteArrayInputStream(new byte[] { 0x1F });
        int tagNo = ASN1Util.readTagNumber(s, 0x1F);
        assertEquals(31, tagNo);
    }

    @Test