debugging condition never reached