Check: batch_len cannot be 0