EXPERIMENTAL PROTOTYPE code for "Highly Available Transactions: Virtues and Limitations"