sS tok_extractCurlyBody(S s) {
  LS tok = javaTok(s)
  IntRange r = tok_findCurlyBody(tok);
  ret r == null ? null : joinSubList(tok, r);
}