Symbol: no_zeroes_len