Symbol: anon_resv