DB_ham_ovfl
rectype = DB_ham_ovfl;
__ham_ovfl_print, DB_ham_ovfl)) != 0)
__ham_ovfl_recover, DB_ham_ovfl)) != 0)
