length [1..10]