So how do you sell USDC.E?