Please do ASSERT(0 == ...) everywhere