public static Collection<? extends Option> getDefaultOptions(DumpFileReader reader) {

		List<Option> list = new ArrayList<>();

		list.add(new Option(DEBUG_DATA_PATH_OPTION_NAME, DEBUG_DATA_PATH_OPTION_DEFAULT,
			String.class, Loader.COMMAND_LINE_ARG_PREFIX + "-debugDataFilePath"));

		list.addAll(DumpFile.getDefaultOptions(reader));

		return list;
	}
Get default <code>Pagedump</code> loader options. Includes
{@link #DEBUG_DATA_PATH_OPTION_NAME} plus default {@link DumpFile} options (see
{@link DumpFile#getDefaultOptions(DumpFileReader)}).

@param reader dump file reader
@return default collection of Pagedump loader options
Ghidra/Features/FileFormats/src/main/java/ghidra/file/formats/dump/pagedump/Pagedump.java