add function 'len' '[digit]' 'while'