len < k