notbufdflushes should use the counter(9) api, otherwise we're just bumping the pointer.
Found by: pho