Fixup: Simplified deserialize_state_init()