7
void svtObj(void *o, FILE *out, const char *color, const char *name);
8
void svtObjPen(void *o1, void *o2,
9
FILE *out, const char *name,
10
ccd_real_t depth, const ccd_vec3_t *dir, const ccd_vec3_t *pos);
11
void recPen(ccd_real_t depth, const ccd_vec3_t *dir, const ccd_vec3_t *pos,
12
FILE *out, const char *note);