3 ms·Rewrites will be much cheaper because of advances in program synthesis.by qualudeheart 4y agoRewrites will be much cheaper because of advances in program synthesis.