Fake consistent store

Shouldn't there be a bunch of " = 0" on this line and below?