anchor.diff:      save_asn1db_uptodate(S,S#state.erule,S#state.mname),
       put(top_module,S#state.mname),
   
  -    _ = checkp(S, ParameterizedTypes), %must do this before the templates are used
  +    ParamError = checkp(S, ParameterizedTypes), %must do this before the templates are used
       
       %% table to save instances of parameterized objects,object sets
       asn1ct_table:new(parameterized_objects),
  
positive.code:     Exporterror = check_exports(S,S#state.module),
      ImportError = check_imports(S,S#state.module),
  
      case {Terror3,Verror5,Cerror,Oerror,Exporterror,ImportError} of
  	{[],[],[],[],[],[]} -> 
  	    ContextSwitchTs = context_switch_in_spec(),
  	    InstanceOf = instance_of_in_spec(S#state.mname),
  	    NewTypes = lists:subtract(Types,AddClasses) ++ ContextSwitchTs
  
negative.code: 	      lists:subtract(NewObjects,ExclO)++InlinedObjects,
  	      lists:subtract(NewObjectSets,ExclOS)++ParObjectSetNames}};
  	_ ->
  	    {error,AllErrors}
      end.
  
  context_switch_in_spec() ->
  