Functions may now be marked as "atomic", but it does not mean anything yet. This is in preparation for concurrent box access.
Functions may now be marked as "atomic", but it does not mean anything yet. This is in preparation for concurrent box access.

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast