@settings(defaultLengthUnit = inch)

export thickness = 42

startSketchOn(XY)
  |> circle(center = [5, 5], radius = 10)
  |> extrude(length = 10)