anchor.diff:  alias_var(Alias) -> cerl:alias_var(Alias).
   alias_pat(Alias) -> cerl:alias_pat(Alias).
   
  +%% Atomic data type functions.
   c_atom(A) -> cerl:c_atom(A).
   ann_c_atom(Ann, A) -> cerl:ann_c_atom(Ann, A).
   c_int(I) -> cerl:c_int(I).
   c_float(F) -> cerl:c_float(F).
   c_nil() -> cerl:c_nil().
   
  +%% Literal value functions.
   ann_c_lit(Ann, Val) -> cerl:ann_abstract(Ann, Val). %Generic literal
   c_lit(Val) -> cerl:abstract(Val).
   is_literal(Node) -> cerl:is_literal(Node).
  
positive.code: comp_record_metadata(Recs, Line) ->
      Ann = [Line],
      Rfun = fun ([Name|Fields]) ->
  		   {Name,[ comp_record_field(Fdef, Ann) || Fdef <- Fields ]}
  	   end,
      Rs = [ Rfun(Rec) || Rec <- Recs ],
      {ann_c_lit(Ann, record),ann_c_lit(Ann, Rs)}.
  -else.
  comp_record_metadata(Recs, Line) ->
      Ann = [Line],
      Rfun = fun ([Name|Fields]) ->
  		   {{record,Name},
  		    [ comp_record_field(Fdef, Ann) || Fdef <- Fields ]}
  	   end,
      Rs = [ Rfun(Rec) || Rec <- Recs ],
      {ann_c_lit(Ann, type),ann_c_lit(Ann, Rs)}.
  -endif.
  
negative.code:                    Ar = length(Cas),
                     Ann = line_file_anno(Li, Sta),
                     case get_fbinding(Fun, Ar, En) of
                         {yes,M,F} ->             %BIF or import
                             {ann_c_call(Ann, c_atom(M), c_atom(F), Cas),Sta};
                         {yes,Name} ->
                             %% Might have been renamed, use real function name.
  