so manifest_value will be passed to this and destroyed via manifest_dictionary_ptr?