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