from sdf import *

f = sphere(1) & box(0.9)

c = cylinder(0.3)
f -= c.orient(X) | c.orient(Y) | c.orient(Z)
stl_object = None
f.save("out.stl", step=0.05)