add tests for builtin len()