Add verbose count-change procedure