ppc: Mint and MoneySupply in Meta