Symbol: alloc_relation