Add demo symbol serialization file.