// Test StrEnd function
    bool test_str_end(void) {
    printf("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