Symbol: alloc_token