rotate_extrude(angle = 180, convexity = 2, $fn = 4, $fa = 12, $fs = 2) { polygon(points = [[0, 0], [3, 3], [3, 0]], paths = undef, convexity = 1); }