anchor.diff:  
   bit_size(all, {Ty,_,_,_}, _, L, St, _) ->
       if Ty =:= binary -> St;
  -       true -> add_error(L, illegal_bitsize, St)
  +       true -> illegal_bitsize_error(L, St)
       end;
   bit_size(undefined, {Ty,_,_,_}, _, L, St, _) ->
       if Ty =:= utf8; Ty =:= utf16; Ty =:= utf32 -> St;
  -       true -> add_error(L, illegal_bitsize, St)
  +       true -> illegal_bitsize_error(L, St)
       end;
   bit_size(Sz, _, Env, L, St, Check) -> Check(Sz, Env, L, St).
   
  
positive.code: illegal_mapkey_error(L, K, St) ->
      add_error(L, {illegal_mapkey,K}, St).
  
  bad_pat_error(L, F, St) ->
      add_error(L, {bad_pat,F}, St).
  
  
negative.code:     Predefs0 = [{module_info,[lambda,[],?Q(dummy)],1},
                  {module_info,[lambda,[x],?Q(dummy)],1}],
      Exps0 = [{module_info,0},{module_info,1}],
      {Predefs0,Env0,
       St#lint{exps=add_exports(Exps0, St#lint.mline, St#lint.exps)}}.
  
  %% check_functions(FuncBindings, Env, State) -> {Funcs,Env,State}.
  %%  Check the top-level functions definitions. These have the format
  