Weirdly, flipping the order of the 'smc.sync()' and 'future.yield()' calls leads to better performance…WTF?