/* Allocate a memory block from a memory pool.  */
void* sysPoolAlloc(osPoolId pool_id, uint32_t clr)
/* Allocate a memory block from a memory pool.  */
void* sysPoolAlloc(osPoolId pool_id, uint32_t clr)
{
    rt_clr_box(pool_id, ptr);
  }
  return ptr;
}