assertDoesNotThrow(() -> ctx.dispose());
        }
    }

    // Helper to build a minimal exported name token understood by MIEName(byte[])
    // Format: TOK_ID(2 bytes) | OID_LEN(2 bytes) | OID_DER | NAME_LEN(4 bytes) | NAME(bytes)
    private static byte[] buildExportName(Oid mech, String name) throws GSSException {
        byte[] der = mech.getDER();
        byte[] nb = name.getBytes();