static Pt mousePointer() {
  ret new Pt(getMouseLocation());
}