static S infoBoxAndReturn(S s) {
  infoBox(s);
  ret s;
}