anchor.diff:  
   -define(NO_UNUSED, true).
   
  --export([module/2]).
  +-export([module/1, module/2]).
   -ifndef(NO_UNUSED).
  --export([function/3, function/4, module/1]).
  +-export([function/3, function/4]).
   -endif.
   
   %% Added in an attempt to suppress message by Dialyzer, but I run into
  
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: 
  %% Record definitions
  
  -record('receive', {loop}).
  -record(cerl_to_icode__var, {name}).
  -record('fun', {label, vars}).
  
  -record(ctxt, {final  = false :: boolean(),
  	       effect = false :: boolean(),
  	       fail   = [],		% [] or fail-to label
  	       class  = expr  :: 'expr' | 'guard',
  	       line   = 0     :: erl_scan:line(),	% current line number
  	       'receive'      :: 'undefined' | #'receive'{}
  	      }).
  
  %% ---------------------------------------------------------------------
  %% Code
  
  %% @spec module(Module::cerl()) -> [{mfa(), icode()}]
  %% @equiv module(Module, [])
  
  -spec module(cerl:c_module()) -> [{mfa(), hipe_icode:icode()}].
  
  module(E) ->
      module(E, []).
  
  %% @spec module(Module::cerl(), Options::[term()]) -> [{mfa(), icode()}]
  %%
  %%	    cerl() = cerl:c_module()
  %%	    icode() = hipe_icode:icode()
  %%
  %% @doc Transforms a Core Erlang module to linear HiPE Icode. The result
  