DomainStartStopLength
3coqB00 8 96 88