db_inst_trap_return
int db_inst_trap_return(int);
int db_inst_trap_return(int inst);
#define inst_trap_return(ins) db_inst_trap_return(ins)