check_hpasm-4.8