+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];
+}
+