+
+ // ziptie angles
+ for (x = [-1, 1]) for (y = [-1, 1]) scale([x, y, 1])
+ translate([body_l/2-corner_r-hook_l-ziptie_w,
+ body_w/2+wall/2-corner_r/2, wall])
+ rotate([-40, 0, 0])
+ translate([0, -ziptie_h/2, -infty/2])
+ cube([ziptie_w, ziptie_h, infty]);
+
+ // more space for lens
+ for (x = [-1, 1]) scale([x, 1, 1])
+ translate([body_l/2, -body_w/2+corner_r, -eps])
+ cube([wall+eps, body_w-2*corner_r, wall+2*eps]);