// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
#[kani::proof]
fn main() {
    let name = String::from("Mark");
    let name_str = name.as_str();
    assert!(name_str.len() > 0);
}