anchor.diff:  	    throw(error)
       end,
       S0 = init(M),
  -    S1 =  s__set_pmatch(proplists:get_value(pmatch, Options), S0),
  -    S2 =  s__set_bitlevel_binaries(proplists:get_value(
  +    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)),
  
positive.code: 
  %% Record definitions
  
  -record(ctxt, {final = false :: boolean(),
  	       effect = false,
  	       fail = [],		% [] or fail-to label
  	       class = expr,		% expr | guard
  	       line = 0,		% current line number
  	       'receive'		% undefined | #receive{}
  	      }).		
  
  -record('receive', {loop}).
  -record(cerl_to_icode__var, {name}).
  -record('fun', {label, vars}).
  
  
  %% ---------------------------------------------------------------------
  %% Code
  
  
  %% @spec module(Module::cerl()) -> [icode()]
  %% @equiv module(Module, [])
  
  -ifndef(NO_UNUSED).
  module(E) ->
      module(E, []).
  -endif.
  %% @clear
  
  
  %% @spec module(Module::cerl(), Options::[term()]) -> [icode()]
  %%
  %%	    cerl() = cerl:cerl()
  %%	    icode() = hipe_icode:icode()
  %%
  %% @doc Transforms a Core Erlang module to linear HiPE Icode. The result
  
negative.code: %% @see function/4
  %% @see cerl_hipeify:transform/1
  
  -spec module(cerl:c_module(), [term()]) -> [{mfa(), hipe_icode:icode()}].
  
  module(E, Options) ->
      module_1(cerl_hipeify:transform(E, Options), Options).
  