More annotations for the serialization module.