let
true_str =
"concrete"