examples: implement length and str-length