https://123dok.org/document/4zpkw2ry-secure-compilation-all-the-way-down.html