static long parseFirstLong(String s) {
  return parseLong(jextract("<int>", s));
}