Richard Kenner writes: > The idea is that > > { > int tmp = <may trap operation>; > var = tmp; > } > > should not update var if the operation traps. > > That's expensive to guarantee. For which language do we have to do that? Java. Andrew.