“先吃饱肚子再吃好”，蕴含着循序渐进的基本道理。
第十三条 纳税人按照一般计税方法计算缴纳增值税的，因销售折让、中止或者退回而退还给购买方的增值税税额，应当从当期的销项税额中扣减；因销售折让、中止或者退回而收回的增值税税额，应当从当期的进项税额中扣减。
，更多细节参见体育直播
Three days later:
DECLRMM might work for us - it is approximately what we’re doing by deleting a character on each line when moving horizontally - but it has extremely poor terminal support so I didn’t want to rely on it.
(fn [^bytes v] (alength v))