+extern pool_object *pool;
+extern pool_ptr ptop;
+
+extern object *vhp_base;
+extern heap_ptr vhp;
+
+pool_ptr
+pool_alloc (uint32_t len)
+{
+ pool_ptr p = ptop;
+ ptop += len;
+ return p;
+}
+
+pool_object *
+POOL_OBJECT (pool_ptr p)
+{
+ if (!p)
+ return (pool_object *) 0;
+ return &pool[p];
+}
+
+pool_ptr
+pool_copy_array (const pool_object * objs, uint32_t len)
+{
+ if (!len)
+ return 0;
+ pool_ptr p = pool_alloc (len);
+ for (int i = 0; i < len; i++)
+ {
+ pool[p + i] = (pool_object)
+ {
+ .type = objs[i].type,.rest = p + i + 1,.val = objs[i].val};
+ }
+ pool[p + len - 1].rest = 0;
+ return p;
+}
+