     std::unique_ptr<TableReader> table_reader;     OpenTable(options, writable->contents(), &table_reader);     const auto& properties =       table_reader->GetTableProperties().user_collected_properties;      