srecord noeq TokenAndRange(S token, IntRange range, S fullText) {
  O source;
}