@TiarkRompf, forgot to add the check file?

7cb226ec7618ffe285a9403498b4ea984cb8eb73