@Test public void txn_write_03() {

    Txn.executeWrite(counter, () -> {
        counter.inc() ;
        assertEquals("In W, value()", 0, counter.value()) ;
        assertEquals("In W, get()",1, counter.get()) ;
        counter.commit() ;
    }) ;
    assertEquals("Outside W",1, counter.value()) ;
}