We define it to be empty everywhere, since it enables optimizations we don't want. We should just remove it.