void f() { str.length(); }