anchor.diff:  
   max_tuple_size(Reg, Ts) ->
       case tdb_find(Reg, Ts) of
  -	{tuple,Sz,_} -> Sz;
  +	{tuple,_,Sz,_} -> Sz;
   	_Other -> 0
       end.
   
  
positive.code:     simplify_basic_1(Is, Ts, [I|Acc]);
  simplify_basic_1([{set,[D],[TupleReg],{get_tuple_element,0}}=I|Is0], Ts0, Acc) ->
      case tdb_find(TupleReg, Ts0) of
  	{tuple,_,[Contents]} ->
  	    simplify_basic_1([{set,[D],[Contents],move}|Is0], Ts0, Acc);
  	_ ->
  	    Ts = update(I, Ts0),
  
negative.code: 		    _ ->
  			%% Position is 1 or unknown. May change the
  			%% first element of the tuple.
  			{tuple,SzKind,Sz,[]}
  		end,
  	    tdb_update([{{x,0},T}], Ts);
  	_ ->
  