(module M_PNCounter)