(module I_PNCounter)