This patch focus on teaching frontend and driver to emit this file. The actual serialization and deserialization implementation will come later.