Makes me wonder if we should just be dumping some tokens into decades and decades of stale code to formally verify and then Fix-It-Forever (TM) because the alte

Makes me wonder if we should just be dumping some tokens into decades and decades of stale code to formally verify and then Fix-It-Forever (TM) because the alternative is waiting around for it to be broken.