/* Allocate a memory block from a memory pool.  */
void* sysPoolAlloc(osPoolId pool_id)
/* Allocate a memory block from a memory pool.  */
void* sysPoolAlloc(osPoolId pool_id)
{
    return NULL;
  }
  mem = rt_alloc_box(pool_id);
  return mem;
}