/**
 * Withdraw margin(USDC) from bank. Reduces locked margin(USDC) in Margin bank for user
 * and unlocks USDC in USDC contract.
 */
export {};