Symbol: hppa_bv