static S secondIntAsString(String s) {
  ret second(jextractAll("<int>", s));
}