db_alpha_sym_is_backstop
if (db_alpha_sym_is_backstop(symval)) {
bool db_alpha_sym_is_backstop(db_addr_t);