// 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

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