+module PushHolePlan(){ ////toplevel
+ translate(-(pushhole_ell_th * 0.10 +
+ pushhole_ell_sz * 0.10) * [1,1]) {
+ for (r=[0,90])
+ rotate(r)
+ translate(-pushhole_ell_th * 0.5 * [1,1])
+ square([ pushhole_ell_sz, pushhole_ell_th ]);
+ }
+ circle(pushhole_circle_dia/2, $fn=40);
+}
+