this.pac = new Pac(token, keys);
    }

    /**
     * Returns the PAC object.
     *
     * @return the Privilege Attribute Certificate
     */
    public Pac getPac() {
        return this.pac;
    }

        // Value taken from p1
        // ----------------------------------------------------------------------

        assertEquals("scm-url/p2/p3/p4", p4.getScm().getUrl());

        // ----------------------------------------------------------------------
        // Value taken from p4
        // ----------------------------------------------------------------------

 */
public interface Sitemap extends Serializable {

    /**
     * Retrieves the location (URL) of the sitemap.
     *
     * @return the location of the sitemap as a String.
     */
    String getLoc();

    /**
     * Retrieves the last modification date of the sitemap.
     *
     * @return A string representing the last modification date.
     */
    String getLastmod();

// instructions for each rule, to guarantee we cover the same space.

#include "../../../../../runtime/textflag.h"

TEXT foo(SB), DUPOK|NOSPLIT, $0

// LTYPE1 nonrem	{ outcode(int($1), &$2); }
	SETCC	AX
	SETCC	foo+4(SB)

// LTYPE2 rimnon	{ outcode(int($1), &$2); }
	DIVB	AX
	DIVB	foo+4(SB)
	PUSHL	$foo+4(SB)
	POPL		AX

// LTYPE3 rimrem	{ outcode(int($1), &$2); }
	SUBB	$1, AX
	SUBB	$1, foo+4(SB)

        byte[] data = new byte[] { 1, 2, 3 };
        byte[] mic = new byte[] { 9, 8 };
        when(gssContext.getMIC(eq(data), eq(0), eq(3), any())).thenReturn(mic);

        byte[] res = ctx.calculateMIC(data);
        assertArrayEquals(mic, res);
        verify(gssContext, times(1)).getMIC(eq(data), eq(0), eq(3), any());
    }

    @Test
    @DisplayName("calculateMIC wraps GSSException into CIFSException")

            for (final Sitemap sitemap : sitemapSet.getSitemaps()) {
                if (sitemap != null) {
                    requestDataSet.add(RequestDataBuilder.newRequestData().get().url(sitemap.getLoc()).build()); // TODO priority
                }
            }
            throw new ChildUrlsException(requestDataSet, this.getClass().getName() + "#process");
        } catch (final IOException e) {

     *
     * @param tf the CIFS context
     * @param domain the domain name
     * @return connection to the domain controller
     * @throws CIFSException if the connection fails
     */
    SmbTransport getDc(CIFSContext tf, String domain) throws CIFSException;

    /**
     * Resolve the location of a DFS path
     *
     * @param domain the domain for the DFS referral
     * @param root the DFS root share

     * @param auth the authentication credentials
     * @return an SMB transport to the domain controller
     * @throws SmbAuthException if authentication fails
     */
    public SmbTransport getDc(final String domain, final NtlmPasswordAuthentication auth) throws SmbAuthException {
        if (DISABLED) {
            return null;
        }

        try {

        // Value taken from p1
        // ----------------------------------------------------------------------

        assertEquals("scm-url/p2/p3/p4", project4.getScm().getUrl());

        // ----------------------------------------------------------------------
        // Value taken from p4
        // ----------------------------------------------------------------------

        // Then
        // MIC (Message Integrity Check) should be included for newer versions
        if (type3.isMICRequired()) {
            assertNotNull(type3.getMic());
            assertEquals(16, type3.getMic().length); // MIC is 16 bytes
        }
    }

    @Test
    @DisplayName("Should handle case sensitivity correctly")
    void testCaseSensitivity() throws Exception {
        // Given