srecord CharInToken(LS tok, int iTok, int iChar) {
  S token() { ret get(tok, iTok); }
  
  toString { ret renderRecordVars CharInToken(+iTok, +iChar, +token()); }
}