assertNull(type1.getSuppliedDomain());
        assertNull(type1.getSuppliedWorkstation());
    }

    @Test
    @DisplayName("Should handle case sensitivity in domain and workstation")
    void testCaseSensitivity() {
        // Given
        String domain = "TestDomain";
        String workstation = "TestWorkstation";

        // When
        Type1Message type1 = new Type1Message(mockContext, 0, domain, workstation);

            assertEquals(16, type3.getMic().length); // MIC is 16 bytes
        }
    }

    @Test
    @DisplayName("Should handle case sensitivity correctly")
    void testCaseSensitivity() throws Exception {
        // Given
        Type2Message type2 = createMockType2Message();
        String mixedCaseDomain = "TestDomain";
        String mixedCaseUser = "TestUser";

        // When