Get serialization and deserialization of the Glulx state to work.