Repairing Sequential Consistency In Cc11