static int parseFirstInt(String s) {
  return parseInt(jextract("<int>", s));
}