anchor.diff:      asn1ct_table:new(inlined_objects),
   
   
  -    Terror = checkt(S,Types,[]),
  +    Terror = checkt(S, Types),
       ?dbg("checkt finished with errors:~n~p~n~n",[Terror]),
   
       %% get parameterized object sets sent to checkt/3
  
positive.code: 		    chained_import(S,OtherMod,DefMod,Name)
  	    end
      end.
  			  
  checkt(S,[Name|T],Acc) ->
      ?dbg("Checking type ~p~n",[Name]),
      Result = 
  	case asn1_db:dbget(S#state.mname,Name) of
  	    undefined ->
  		error({type,{internal_error,'???'},S});
  	    Type when is_record(Type,typedef) ->
  		NewS = S#state{type=Type,tname=Name},
  		case catch(check_type(NewS,Type,Type#typedef.typespec)) of
  		    {error,Reason} ->
  			error({type,Reason,NewS});
  		    {'EXIT',Reason} ->
  			error({type,{internal_error,Reason},NewS});
  		    {asn1_class,_ClassDef} ->
  			{asn1_class,Name};
  		    pobjectsetdef ->
  			{pobjectsetdef,Name};
  		    pvalueset ->
  			{pvalueset,Name};
  		    Ts ->
  			case Type#typedef.checked of
  			    true -> % already checked and updated
  				ok;
  			    _ ->
  				NewTypeDef = Type#typedef{checked=true,typespec = Ts},
  				
  				asn1_db:dbput(NewS#state.mname,Name,NewTypeDef), % update the type
  
  				ok
  			end
  		end
  	end,
      case Result of
  	ok ->
  	    checkt(S,T,Acc);
  	_ ->
  	    checkt(S,T,[Result|Acc])
      end;
  checkt(S,[],Acc) ->
      case check_contextswitchingtypes(S,[]) of
  	[] ->
  	    lists:reverse(Acc);
  	L ->
  	    checkt(S,L,Acc)
      end.
  
  check_contextswitchingtypes(S,Acc) ->
  
negative.code: 	_ ->
  	    skipped
      end.
  
  check_fold(S, [H|T], Check) ->
      Type = asn1_db:dbget(S#state.mname, H),
      case Check(S, H, Type) of
  	ok ->
  	    check_fold(S, T, Check);
  	Error ->
  	    [Error|check_fold(S, T, Check)]
      end;
  check_fold(_, [], Check) when is_function(Check, 3) -> [].
  