Symbol: impl_di_prop_int_from_prom