167            rt_vector(min.x, min.y, min.z),  in rt_tri_box()
168            rt_vector(min.x, max.y, min.z),  in rt_tri_box()
169            rt_vector(max.x, max.y, min.z));  in rt_tri_box()
171            rt_vector(min.x, min.y, min.z),  in rt_tri_box()
172            rt_vector(max.x, max.y, min.z),  in rt_tri_box()
173            rt_vector(max.x, min.y, min.z));  in rt_tri_box()
177            rt_vector(min.x, min.y, max.z),  in rt_tri_box()
178            rt_vector(max.x, max.y, max.z),  in rt_tri_box()
179            rt_vector(min.x, max.y, max.z));  in rt_tri_box()
181            rt_vector(min.x, min.y, max.z),  in rt_tri_box()
182            rt_vector(max.x, min.y, max.z),  in rt_tri_box()
183            rt_vector(max.x, max.y, max.z));  in rt_tri_box()
187            rt_vector(min.x, min.y, min.z),  in rt_tri_box()
188            rt_vector(min.x, max.y, max.z),  in rt_tri_box()
189            rt_vector(min.x, min.y, max.z));  in rt_tri_box()
191            rt_vector(min.x, min.y, min.z),  in rt_tri_box()
192            rt_vector(min.x, max.y, min.z),  in rt_tri_box()
193            rt_vector(min.x, max.y, max.z));  in rt_tri_box()
197            rt_vector(max.x, min.y, min.z),  in rt_tri_box()
198            rt_vector(max.x, min.y, max.z),  in rt_tri_box()
199            rt_vector(max.x, max.y, max.z));  in rt_tri_box()
201            rt_vector(max.x, min.y, min.z),  in rt_tri_box()
202            rt_vector(max.x, max.y, max.z),  in rt_tri_box()
203            rt_vector(max.x, max.y, min.z));  in rt_tri_box()
207            rt_vector(min.x, min.y, min.z),  in rt_tri_box()
208            rt_vector(min.x, min.y, max.z),  in rt_tri_box()
209            rt_vector(max.x, min.y, max.z));  in rt_tri_box()
211            rt_vector(min.x, min.y, min.z),  in rt_tri_box()
212            rt_vector(max.x, min.y, max.z),  in rt_tri_box()
213            rt_vector(max.x, min.y, min.z));  in rt_tri_box()
217            rt_vector(min.x, max.y, min.z),  in rt_tri_box()
218            rt_vector(max.x, max.y, max.z),  in rt_tri_box()
219            rt_vector(min.x, max.y, max.z));  in rt_tri_box()
221            rt_vector(min.x, max.y, min.z),  in rt_tri_box()
222            rt_vector(max.x, max.y, min.z),  in rt_tri_box()
223            rt_vector(max.x, max.y, max.z));  in rt_tri_box()