anchor.diff:        pp_args(Dev, fun_def_arglist(I)),
         write(Dev, ") "),
         pp_options(Dev, fun_def_fn_attrs(I)),
  -      case Ver >= {3,7} of false -> ok; true ->
  -	  write(Dev, "personality i32 (i32, i64, i8*,i8*)* "
  -		"@__gcc_personality_v0 ")
  -      end,
  +      write(Dev, "personality i32 (i32, i64, i8*,i8*)* "
  +	    "@__gcc_personality_v0 "),
         case fun_def_align(I) of
           [] -> ok;
           N -> write(Dev, ["align ", N])
  
positive.code:       exit({?MODULE, pp_ins, {"Unknown LLVM instruction", Other}})
    end.
  
  %% @doc Print the type of a dereference in an LLVM instruction using syntax
  %% parsable by the specified LLVM version.
  pp_dereference_type(Dev, Ver, Type) ->
    case Ver >= {3,7} of
      false -> ok;
      true ->
        pp_type(Dev, pointer_type(Type)),
        write(Dev, ", ")
    end,
    pp_type(Dev, Type).
  
  %% @doc Pretty-print a list of types
  
negative.code:       pp_type(Dev, adj_stack_type(I)),
        write(Dev, [" ", adj_stack_offset(I),")\n"]);
      #llvm_meta{} ->
        write(Dev, ["!", meta_id(I), " = !{ "]),
        write(Dev, string:join([if is_list(Op) -> ["!\"", Op, "\""];
  				 is_integer(Op) -> ["i32 ", integer_to_list(Op)];
  				 is_record(Op, llvm_meta) ->
  