102                 let err = errors.remove(i);  in pretty_block_header_error()  localVariable
103                 print_error(w, err)?;  in pretty_block_header_error()
140                 let err = errors.remove(i);  in pretty_instruction_error()  localVariable
141                 print_error(w, err)?;  in pretty_instruction_error()
175             let err = errors.remove(i);  in pretty_preamble_error()  localVariable
176             print_error(w, err)?;  in pretty_preamble_error()
208 fn print_error(w: &mut dyn Write, err: VerifierError) -> fmt::Result {  in print_error()
209     writeln!(w, "; error: {}", err.to_string())?;  in print_error()
214 pub fn pretty_error(func: &ir::Function, err: CodegenError) -> String {  in pretty_error()
215     if let CodegenError::Verifier(e) = err {  in pretty_error()
218         err.to_string()  in pretty_error()