771     bool doExt = true;  in print_details()  local
773     default: doExt = false; break;  in print_details()
778     if (doExt)  in print_details()
803     bool doExt = true;  in print_details()  local
805     default: doExt = false; break;  in print_details()
810     if (doExt)  in print_details()
840     bool doExt = true;  in print_details()  local
842     default: doExt = false; break;  in print_details()
847     if (doExt)  in print_details()
872         bool doExt = true;  in print_details()  local
874         default: doExt = false; break;  in print_details()
879         if (doExt)  in print_details()