from sdf import *
c = box(1).translate((0,0,0.2))
f = capped_cylinder(-Z, Z, 0.5)
c.orient([0.5, 0.5, 1])
c = f - c

c.save("out.stl")