https://arxiv.org/abs/2011.07966

TIL there exists a French tax code to C compiler. It's a serious project.

I think that settles the code as documentation argument. But I'm not sure in what direction...