anchor.diff:  			%% first element of the tuple.
   			{tuple,SzKind,Sz,[]}
   		end,
  -	    tdb_update([{{x,0},T}], Ts);
  +            tdb_store({x,0}, T, Ts);
   	_ ->
   	    Ts
       end;
  
positive.code: op_type('bsl') -> integer;
  op_type('bsr') -> integer;
  op_type('div') -> integer;
  op_type(_) -> unknown.
  
  flush(Rs, [{set,[_],[_,_,_],{bif,is_record,_}}|_]=Is0, Acc0) ->
      Acc = flush_all(Rs, Is0, Acc0),
  
negative.code: checkerror_2(OrigIs) -> [{set,[],[],fcheckerror}|OrigIs].
  
  
  %%% Routines for maintaining a type database.  The type database
  %%% associates type information with registers.
  %%%
  %%% See the comment for verified_type/1 at the end of module for
  %%% a description of the possible types.
  
  %% tdb_new() -> EmptyDataBase
  %%  Creates a new, empty type database.
  
  tdb_new() -> [].
  
  %% tdb_find(Register, Db) -> Type
  %%  Returns type information or the atom error if there is no type
  %%  information available for Register.
  %%
  %%  See the comment for verified_type/1 at the end of module for
  %%  a description of the possible types.
  
  tdb_find(Reg, Ts) ->
      case tdb_find_raw(Reg, Ts) of
          {tuple_element,_,_} -> any;
          Type -> Type
      end.
  
  %% tdb_find_source_tuple(Register, Ts) -> {source_tuple,Register} | 'none'.
  %%  Find the tuple whose first element was fetched to the register Register.
  
  tdb_find_source_tuple(Reg, Ts) ->
      case tdb_find_raw(Reg, Ts) of
          {tuple_element,Src,0} ->
              {source_tuple,Src};
          _ ->
              none
      end.
  
  %% tdb_copy(Source, Dest, Db) -> Db'
  