Initially, libpijul was written along with proofs of correctness for the algorithms. Unfortunately, that turned debugging into a nightmare, since as files grew, it became very tedious to match line numbers from the backtrace with line numbers in the literate source.
IYJZVLETBAQDDELENH3FX7ZTOC3HY4UJ3AMC3MACW6O7ZCWZTR6AC