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