Where is the `dump_options` accessor defined?