static volatile Pt showWeb_defaultSize_pt;

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

static Pt showWeb_defaultSize() {
  ret showWeb_defaultSize_pt;
}