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