Symbol: alloc_req