anchor.diff:  %% @see function/4
   %% @see cerl_hipeify:transform/1
   
  -%% -spec module(cerl:c_module(), [term()]) -> [{mfa(), hipe_icode:icode()}].
  +-spec module(cerl:c_module(), [term()]) -> [{mfa(), hipe_icode:icode()}].
   
   module(E, Options) ->
       module_1(cerl_hipeify:transform(E, Options), Options).
  
positive.code: 	    throw(error)
      end,
      S0 = init(M),
      S1 =  s__set_pmatch(proplists:get_value(pmatch, Options), S0),
      S2 =  s__set_bitlevel_binaries(proplists:get_value(
  				      bitlevel_binaries, Options), S1),
      {Icode, _} = lists:mapfoldl(fun function_definition/2,
  				S2, cerl:module_defs(E)),
  
negative.code: 
  -define(NO_UNUSED, true).
  
  -export([module/1, module/2]).
  -ifndef(NO_UNUSED).
  -export([function/3, function/4]).
  -endif.
  
  %% Added in an attempt to suppress message by Dialyzer, but I run into
  