Labels Milestones
Back-1.284286e-001 -2.247502e-001 9.659159e-001 facet normal 0.481758 -0.876304 0 vertex -6.44874 0.814666 19.9 facet normal 0.0817958 0.0819182 -0.993277 vertex 2.95564 4.03376 21.7809 facet normal 0.547916 0.449666.
- */ wall(h=10, w=height-hole_dist_top*2-32); // decoration?
- Normal -1.662431e-01 9.860847e-01 -3.475564e-04 vertex -9.599162e+01.