PascalCoin: PIP-0011