pub(crate) fn run_inner( input: PathBuf, build_libs: BuildLibs, flags: impl IntoIterator<Item = String>, rust_fixpoint: bool, ) -> Result<(), Error>