ah, we missed
default:
NOTREACHED();

here