Exported serialization symbols