box b 1 1 1
nexplode b f
profile pp x 0.6 y 0.6 x -0.6 y -0.6
ttranslate pp 0.2 0.2 1
featprism b pp b_4 0 0 -1 0 1
featperformval prism r 0.8
vertex v1 0.1 0.5 1
vertex v2 0.9 0.5 1
vertex v3 0.9 0.5 1.5
vertex v4 0.1 0.5 1.5
edge e1 v2 v3 
edge e2 v3 v4
edge e3 v4 v1
wire w e1 e2 e3

plane pl 0.5 0.5 1 0 -1 0
featlf r w pl 0 0.1 0 0 -0.1 0 1 1
featperform lf result 


checkprops result -s 9.56
