Can we log that fact? It seems unlikely, but it would be a pretty nasty bug if it happened.