although it is unlikely, we may fall into the 1:0 trap, so seq_len() instead