Describir: Composable Memory Transactions.