public function serialize() { return \json_encode($this->engine_state_registry, JSON_PRETTY_PRINT); }