Since this "shouldn't ever happen", we should probably print something to stderr(), just in case it _does_ end up happening.