case STR_END : {
                char *end = StrEnd(str);
                (void)end; // Suppress unused variable warning
                break;

    // Test StrEnd function
    bool test_str_end(void) {
        WriteFmt("Testing StrEnd\n");
    
        Str s = StrInitFromZstr("Hello");

    
        // Get a pointer to one past the last character using StrEnd
        char *end = StrEnd(&s);
    
        // Check that the pointer is correct