+static void
+print_uvector_body (const uvector_object * o)
+{
+ const uv_val *p = UV_VAL (o->val.body);
+ if (!p)
+ return;
+ pool_object x;
+ x.type = utype (o);
+ x.rest = 0;
+ if (o->val.len)
+ {
+ x.val = p[0];
+ print_object ((object *) & x);
+ }
+ for (uint32_t i = 1; i < o->val.len; i++)
+ {
+ printf (" ");
+ x.val = p[i];
+ print_object ((object *) & x);
+ }
+}
+