scope parse3_noEllipsis_cachedInput.

static Map<S, LS> #cache = synchronizedMRUCache(100);

static synchronized L<S> parse3_noEllipsis_cachedInput(S s) {
  LS tok = cache.get(s);
  if (tok == null) cache.put(s, tok = parse3_noEllipsis(s));
  ret tok;
}

end scope