static volatile Pt showWeb_defaultSize_pt;

static void showWeb_defaultSize(int w, int h) {
  showWeb_defaultSize_pt = Pt(w, h);
}