// BUG: counter never reset