Maybe it's time for a provably secure grand software rewrite. Wonder how much it might cost.