db_alpha_trapsym_description
(*pr)("--- %s", db_alpha_trapsym_description(symval));
const char * db_alpha_trapsym_description(db_addr_t);