DomainStartStopLength
3coqA00 8 96 88