I'd rather not change zeroInit, because it needs a state "not initialized yet" (see #2480), the assumption of defaulting to false is bad.