Symbol: enque_to_free