def test_string_length2(self): eq_(eval(begin(length("abc", x), x)), 3)
def test_string_length(self): eq_(eval(length("abc", x)), True)