anchor.diff:  update({call,_Arity,_Func}, Ts) -> tdb_kill_xregs(Ts);
   update({call_ext,_Arity,_Func}, Ts) -> tdb_kill_xregs(Ts);
   update({make_fun2,_,_,_,_}, Ts) -> tdb_kill_xregs(Ts);
  +update({call_fun, _}, Ts) -> tdb_kill_xregs(Ts);
  +update({apply, _}, Ts) -> tdb_kill_xregs(Ts);
  +
   update({line,_}, Ts) -> Ts;
  -update({bs_save2,_,_}, Ts) -> Ts;
  -update({bs_restore2,_,_}, Ts) -> Ts;
   
   %% The instruction is unknown.  Kill all information.
   update(_I, _Ts) -> tdb_new().
  
positive.code:     end;
  update({test,is_record,_Fail,[Src,Tag,{integer,Arity}]}, Ts) ->
      tdb_update([{Src,{tuple,Arity,[Tag]}}], Ts);
  update({test,_Test,_Fail,_Other}, Ts) ->
      Ts;
  update({test,bs_get_integer2,_,_,Args,Dst}, Ts) ->
      tdb_update([{Dst,get_bs_integer_type(Args)}], Ts);
  update({call_ext,Ar,{extfunc,math,Math,Ar}}, Ts) ->
      case is_math_bif(Math, Ar) of
  	true -> tdb_update([{{x,0},float}], Ts);
  
negative.code: 
  -import(lists, [filter/2,foldl/3,keyfind/3,member/2,
  		reverse/1,reverse/2,sort/1]).
  
  -define(UNICODE_INT, {integer,{0,16#10FFFF}}).
  
  -spec module(beam_utils:module_code(), [compile:option()]) ->
                      {'ok',beam_utils:module_code()}.
  