debugging finished; vel unzeroed.