AFAICT you don't initialize this to zero, but you do check if it's zero?

Also, this probably should be added to `DoState()` right above.

-[Unknown]