Symbol: hpx_type0