anchor.diff:  format_elements([H]) ->
       io_lib:format("~p", [H]).
   
  -error({_,{structured_error,_,_,_}=SE,_}) ->
  -    SE;
  -error({type,Msg,#state{mname=Mname,type=Type,tname=Typename}}) 
  -  when is_record(Type,type) ->
  -    io:format("asn1error:~p:~p~n~p~n",
  -	      [Mname,Typename,Msg]),
  -    {error,{type,Mname,Typename,Msg}};
  -error({type,Msg,#state{mname=Mname,type=Type,tname=Typename}}) 
  -  when is_record(Type,typedef) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",
  -	      [Type#typedef.pos,Mname,Typename,Msg]),
  -    {error,{type,Type#typedef.pos,Mname,Typename,Msg}};
  -error({type,Msg,#state{mname=Mname,type=Type,tname=Typename}}) 
  -  when is_record(Type,ptypedef) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",
  -	      [Type#ptypedef.pos,Mname,Typename,Msg]),
  -    {error,{type,Type#ptypedef.pos,Mname,Typename,Msg}};
  -error({type,Msg,#state{mname=Mname,value=Value,vname=Valuename}})
  -  when is_record(Value,valuedef) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",[Value#valuedef.pos,Mname,Valuename,Msg]),
  -    {error,{type,Value#valuedef.pos,Mname,Valuename,Msg}};
  -error({type,Msg,#state{mname=Mname,type=Type,tname=Typename}}) 
  -  when is_record(Type,pobjectdef) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",
  -	      [Type#pobjectdef.pos,Mname,Typename,Msg]),
  -    {error,{type,Type#pobjectdef.pos,Mname,Typename,Msg}};
  -error({value,Msg,#state{mname=Mname,value=Value,vname=Valuename}}) 
  -  when is_record(Value,valuedef) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",[Value#valuedef.pos,Mname,Valuename,Msg]),
  -    {error,{value,Value#valuedef.pos,Mname,Valuename,Msg}};
  -error({Other,Msg,#state{mname=Mname,value=#valuedef{pos=Pos},vname=Valuename}}) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",[Pos,Mname,Valuename,Msg]),
  -    {error,{Other,Pos,Mname,Valuename,Msg}};
  -error({Other,Msg,#state{mname=Mname,type=#typedef{pos=Pos},tname=Typename}}) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",[Pos,Mname,Typename,Msg]),
  -    {error,{Other,Pos,Mname,Typename,Msg}};
  -error({Other,Msg,#state{mname=Mname,type=#classdef{pos=Pos},tname=Typename}}) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",[Pos,Mname,Typename,Msg]),
  -    {error,{Other,Pos,Mname,Typename,Msg}};
  -error({Other,Msg,#state{mname=Mname,type=Type,tname=Typename}}) ->
  -    io:format("asn1error:~p:~p:~p~n~p~n",[asn1ct:get_pos_of_def(Type),Mname,Typename,Msg]),
  -    {error,{Other,asn1ct:get_pos_of_def(Type),Mname,Typename,Msg}}.
  -
   include_default_type(Module) ->
       NameAbsList = default_type_list(),
       include_default_type1(Module,NameAbsList).
  
positive.code: %% Main Module for ASN.1 compile time functions
  
  %-compile(export_all).
  %% Avoid warning for local function error/1 clashing with autoimported BIF.
  -compile({no_auto_import,[error/1]}).
  -export([check/2,storeindb/2,format_error/1]).
  %-define(debug,1).
  -include("asn1_records.hrl").
  
negative.code: 	    ok
      catch
  	{error,Reason} ->
  	    Reason;
  	{pobjectsetdef} ->
  	    {pobjectsetdef,Name};
  	{objectsetdef} ->
  