Symbol: ptr_to_pide