Symbol: hsmp_test