inst_return
(!inst_return(ins) || --db_call_depth != 0)) {
if (inst_call(ins) || inst_return(ins)) {
!inst_return(ins) &&