Loading https://www.johndcook.com/blog/2019/10/22/hacking-with-de-bruijn/.