Add pure attribute to len funcs