Documented header file serialize_props.h.