https://9dok.net/document/yr3jxlkp-on-the-verification-of-scoop-programs.html