https://howlings.net/2011/02/13/devils-dumped-late-by-checkers/