sS tok_extractCurlyBody(S s) {
  LS tok = javaTok(s);
  IntRange r = tok_findCurlyBody(tok);
  ret r == null ? null : joinSubList(tok, r.start+1, r.end-1);
}