ppcoin: -> ppc: