Symbol: hpx_type3