Naive version of the synchronization macro, committed as is