anchor.diff:  		  ifile=""    :: file:filename(),
   		  ofile=""    :: file:filename(),
   		  module=[]   :: module() | [],
  -		  core_code=[] :: cerl:c_module() | [],
   		  abstract_code=[] :: abstract_code(), %Abstract code for debugger.
   		  options=[]  :: [option()],  %Options for compilation
   		  mod_options=[]  :: [option()], %Options for module_info
  
positive.code:      {iff,dcbsm,{listing,"core_bsm"}},
  
       {iff,clint,?pass(core_lint_module)},
       {iff,core,?pass(save_core_code)},
  
       %% Kernel Erlang and code generation.
       ?pass(v3_kernel),
  
negative.code:     Bin = crypto:crypto_one_time(des_ede3_cbc, Key, IVec, Bin1, true),
      TypeString = atom_to_list(Type),
      list_to_binary([0,length(TypeString),TypeString,Bin]).
  
  beam_validator_strong(Code, St) ->
      beam_validator_1(Code, St, strong).
  