anchor.diff:        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,
  +%% @doc Print the type of a dereference in an LLVM instruction.
  +pp_dereference_type(Dev, Type) ->
  +  pp_type(Dev, pointer_type(Type)),
  +  write(Dev, ", "),
     pp_type(Dev, Type).
   
   %% @doc Pretty-print a list of types
  
positive.code:       pp_type(Dev, const_decl_type(I)),
        write(Dev, [" ", const_decl_value(I), "\n"]);
      #llvm_landingpad{} ->
        write(Dev, "landingpad { i8*, i32 } "),
        case Ver < {3,7} of false -> ok; true ->
  	  write(Dev, "personality i32 (i32, i64, i8*,i8*)* "
  		"@__gcc_personality_v0 ")
        end,
        write(Dev, "cleanup\n");
      #llvm_asm{} ->
        write(Dev, [asm_instruction(I), "\n"]);
      #llvm_adj_stack{} ->
  
negative.code:         true -> write(Dev, "volatile ");
          false -> ok
        end,
        pp_dereference_type(Dev, load_p_type(I)),
        write(Dev, [" ", load_pointer(I), " "]),
        case load_alignment(I) of
          [] -> ok;
  