case "F":
		if 0 <= n && n <= 31 {
			return loong64.REG_F0 + n, true
		}
	case "FCSR":
		if 0 <= n && n <= 31 {
			return loong64.REG_FCSR0 + n, true
		}
	case "FCC":
		if 0 <= n && n <= 31 {
			return loong64.REG_FCC0 + n, true
		}
	case "R":
		if 0 <= n && n <= 31 {
			return loong64.REG_R0 + n, true
		}
	case "V":
		if 0 <= n && n <= 31 {
			return loong64.REG_V0 + n, true
		}

        // Check padding (positions 8-30 should be 'CA' pairs for spaces)
        for (int i = 8; i < 31; i += 2) {
            assertEquals('C', dst[i + 1]);
            assertEquals('A', dst[i + 2]);
        }

        // Check type encoding at position 31-32
        assertEquals('C', dst[31]); // (0x20 >> 4) + 0x41 = 'C'
        assertEquals('A', dst[32]); // (0x20 & 0x0F) + 0x41 = 'A'

        // Verify length

	VBITCLRB	$7, V2, V3	// 433c1073
	VBITCLRH	$15, V2, V3	// 437c1073
	VBITCLRW	$31, V2, V3	// 43fc1073
	VBITCLRV	$63, V2, V3	// 43fc1173
	VBITSETB	$7, V2, V3	// 433c1473
	VBITSETH	$15, V2, V3	// 437c1473
	VBITSETW	$31, V2, V3	// 43fc1473
	VBITSETV	$63, V2, V3	// 43fc1573
	VBITREVB	$7, V2, V3	// 433c1873
	VBITREVH	$15, V2, V3	// 437c1873
	VBITREVW	$31, V2, V3	// 43fc1873
	VBITREVV	$63, V2, V3	// 43fc1973

        //
        if (tagNo == 0x1f) {
            int b = s.read();
            if (b < 31) {
                if (b < 0) {
                    throw new EOFException("EOF found inside tag value.");
                }
                throw new IOException("corrupted stream - high tag number < 31 found");
            }

            tagNo = b & 0x7f;

            // X.690-0207 8.1.2.4.2

        assertEquals(smbComNtTransaction.dataCount, SmbComTransaction.readInt4(dst, 27), "dataCount should be written correctly");
        assertEquals(smbComNtTransaction.dataOffset, SmbComTransaction.readInt4(dst, 31), "dataOffset should be written correctly");
        assertEquals(smbComNtTransaction.setupCount, dst[35], "setupCount should be written correctly");

RUN wget https://github.com/bazelbuild/buildtools/releases/download/v7.3.1/buildifier-linux-arm64 -O /usr/local/bin/buildifier && chmod +x /usr/local/bin/buildifier
RUN wget https://github.com/bazelbuild/buildtools/releases/download/v7.3.1/buildozer-linux-arm64 -O /usr/local/bin/buildozer && chmod +x /usr/local/bin/buildozer

        // dataOffset (4 bytes)
        SMBUtil.writeInt4(128, buffer, bufferIndex + 27);

        // dataDisplacement (4 bytes)
        SMBUtil.writeInt4(0, buffer, bufferIndex + 31);

        // setupCount (1 byte) + 1 reserved byte
        buffer[bufferIndex + 35] = 0x00; // setupCount = 0
        buffer[bufferIndex + 36] = 0x00; // reserved

        // Verify data count (4 bytes at position 27)
        assertEquals(150, SMBUtil.readInt4(dst, 27));

        // Verify data offset (4 bytes at position 31)
        assertEquals(130, SMBUtil.readInt4(dst, 31));

        // Verify setup count
        assertEquals(1, dst[35]);

        // Verify function (2 bytes at position 36)

     * Tests the constructor with a valid byte array.
     */
    @Test
    void testConstructorWithValidData() {
        // A byte array with a length less than 32 should be considered valid.
        byte[] validData = new byte[31];
        assertDoesNotThrow(() -> new PacCredentialType(validData));
    }

    /**
     * Tests the constructor with a null byte array, which should throw an exception.
     */
    @Test

        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
    void testReadTagNumber_MultiByte() throws IOException {
        // Multi-byte tag (e.g., 80)