Several of the printfs don't match the debug counter names.