rotate_extrude($fn=200) 

 import (file="boggie.dxf", layer="0", $fn=500);