Symbol: fde_pointer_type