pub fn verify(
    path: impl AsRef<Path>,
    format: OutputFormat,
    out: impl Write
) -> Result<()>