>> We had volatile, which, redefined properly, could help. I am trying >to draft such a definition. > >Did you get a chance to work on it?
I do have this on my todo list for around Christmas. People who know me that I deliberately leave out the year, but my intentions are 2018 ;). -nik
