https://nlvm.amseko.cz/discussion/9562reRDI