<p>fairly sure i could automate reverse-engineering it by applying a first Futamura projection (basically, unroll the loop body and constant-propagate until done) but it really wasn&#39;t worth it</p>