Merge branch 'bjorn/asn1/doc'

* bjorn/asn1/doc:
  asn1_spec: Correct obsolete details about compiler options
  Update asn1 documentation

10 files changed, 1896 insertions, 1842 deletions

diff --git a/lib/asn1/doc/src/Makefile b/lib/asn1/doc/src/Makefile
index 3b3e1bd8f9..f26508295c 100644
--- a/lib/asn1/doc/src/Makefile
+++ b/lib/asn1/doc/src/Makefile
@@ -48,7 +48,9 @@ XML_HTML_FILE =  \
 	notes_history.xml
 
 XML_CHAPTER_FILES = \
-	asn1_ug.xml \
+	asn1_introduction.xml \
+	asn1_getting_started.xml \
+	asn1_overview.xml \
 	asn1_spec.xml \
 	notes.xml
 
diff --git a/lib/asn1/doc/src/asn1_getting_started.xml b/lib/asn1/doc/src/asn1_getting_started.xml
new file mode 100644
index 0000000000..1a9c279191
--- /dev/null
+++ b/lib/asn1/doc/src/asn1_getting_started.xml
@@ -0,0 +1,1290 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE chapter SYSTEM "chapter.dtd">
+
+<chapter>
+  <header>
+    <copyright>
+      <year>1997</year><year>2013</year>
+      <holder>Ericsson AB. All Rights Reserved.</holder>
+    </copyright>
+    <legalnotice>
+      The contents of this file are subject to the Erlang Public License,
+      Version 1.1, (the "License"); you may not use this file except in
+      compliance with the License. You should have received a copy of the
+      Erlang Public License along with this software. If not, it can be
+      retrieved online at http://www.erlang.org/.
+    
+      Software distributed under the License is distributed on an "AS IS"
+      basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+      the License for the specific language governing rights and limitations
+      under the License.
+    
+    </legalnotice>
+
+    <title>Getting Started</title>
+    <prepared>Kenneth Lundin</prepared>
+    <docno></docno>
+    <date>1999-03-25</date>
+    <rev>D</rev>
+    <file>asn1_getting_started.xml</file>
+  </header>
+
+  <section>
+    <title>Example</title>
+      <p>The following example demonstrates the basic functionality used to
+      run the Erlang ASN.1 compiler.</p>
+      <p>Create a file named <c>People.asn</c> containing the following:</p>
+      <pre>
+People DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+  Person ::= SEQUENCE {
+    name PrintableString,
+    location INTEGER {home(0),field(1),roving(2)},
+    age INTEGER OPTIONAL
+  }
+END      </pre>
+      <p>This file must be compiled before it can be used.
+        The ASN.1 compiler checks that the syntax is correct and that the
+        text represents proper ASN.1 code before generating an abstract
+        syntax tree. The code-generator then uses the abstract syntax
+        tree to generate code.</p>
+      <p>The generated Erlang files are placed in the current directory or
+        in the directory specified with option <c>{outdir,Dir}</c>.</p>
+      <p>The following shows how the compiler
+        can be called from the  Erlang shell:</p>
+
+      <pre>
+1><input> asn1ct:compile("People", [ber]).</input>
+ok
+2>      </pre>
+
+      <p>Option <c>verbose</c> can be added to get information
+      about the generated files:</p>
+      <pre>
+2><input> asn1ct:compile("People", [ber,verbose]).</input>
+Erlang ASN.1 compiling "People.asn" 
+--{generated,"People.asn1db"}--
+--{generated,"People.hrl"}--
+--{generated,"People.erl"}--
+ok
+3>      </pre>
+
+      <p>ASN.1 module <c>People</c> is now accepted and the
+      abstract syntax tree is saved in file <c>People.asn1db</c>.
+      The generated Erlang code is compiled using the Erlang compiler
+      and loaded into the Erlang runtime system. There is now an API
+      for <c>encode/2</c> and <c>decode/2</c> in module
+      <c>People</c>, which is called like:<br></br>
+      <c><![CDATA['People':encode(<Type name>, <Value>)]]></c>
+      <br></br>
+        or<br></br>
+<c><![CDATA['People':decode(<Type name>, <Value>)]]></c></p>
+
+      <p>Assume that there is a network
+        application that receives instances of the ASN.1 defined
+        type <c>Person</c>, modifies, and sends them back again:</p>
+
+      <code type="none">
+receive
+   {Port,{data,Bytes}} ->
+       case 'People':decode('Person',Bytes) of
+           {ok,P} ->
+               {ok,Answer} = 'People':encode('Person',mk_answer(P)),
+               Port ! {self(),{command,Answer}};
+           {error,Reason} ->
+               exit({error,Reason})
+       end
+    end,      </code>
+      <p>In this example, a series of bytes is received from an
+        external source and the bytes are then decoded into a valid
+        Erlang term. This was achieved with the call
+        <c>'People':decode('Person',Bytes)</c>, which returned
+        an Erlang value of the ASN.1 type <c>Person</c>. Then an answer was
+        constructed  and encoded using
+        <c>'People':encode('Person',Answer)</c>, which takes an
+        instance of a defined ASN.1 type and transforms it to a
+        binary according to the BER or PER encoding rules.</p>
+        <p>The encoder and decoder can also be run from the shell:</p>
+      <pre>
+2> <input>Rockstar = {'Person',"Some Name",roving,50}.</input>
+{'Person',"Some Name",roving,50}
+3> <input>{ok,Bin} = 'People':encode('Person',Rockstar).</input>
+{ok,&lt;&lt;243,17,19,9,83,111,109,101,32,78,97,109,101,2,1,2,
+      2,1,50&gt;&gt;}
+4> <input>{ok,Person} = 'People':decode('Person',Bin).</input>
+{ok,{'Person',"Some Name",roving,50}}
+5>      </pre>
+
+    <section>
+      <title>Module Dependencies</title>
+      <p>It is common that ASN.1 modules import defined types, values, and
+        other entities from another ASN.1 module.</p>
+      <p>Earlier versions of the ASN.1 compiler required that modules
+        that were imported from had to be compiled before the module
+        that imported. This caused problems when ASN.1 modules had circular
+        dependencies.</p>
+      <p>Referenced modules are now parsed when the compiler finds an
+        entity that is imported. No code is generated for
+        the referenced module. However, the compiled modules rely on
+        that the referenced modules are also compiled.</p>
+    </section>
+  </section>
+
+  <section>
+    <title>ASN.1 Application User Interface</title>
+    <p>The <c>ASN.1</c> application provides the following two
+    separate user interfaces:</p>
+    <list type="bulleted">
+      <item>
+        <p>The module <c>asn1ct</c>, which provides the compile-time functions
+          (including the compiler)</p>
+      </item>
+      <item>
+        <p>The module <c>asn1rt_nif</c>, which provides the runtime functions
+         for the ASN.1 decoder for the BER back end</p>
+      </item>
+    </list>
+    <p>The reason for this division of the interfaces into compile-time
+      and runtime
+      is that only runtime modules (<c>asn1rt*</c>) need to be loaded in
+      an embedded system. 
+      </p>
+
+    <section>
+      <title>Compile-Time Functions</title>
+      <p>The ASN.1 compiler can be started directly from the command line
+        by the <c>erlc</c> program. This is convenient when compiling
+        many ASN.1 files from the command line or when using Makefiles.
+        Some examples of how the <c>erlc</c> command can be used to start
+        the ASN.1 compiler:</p>
+      <pre>
+erlc Person.asn
+erlc -bper Person.asn
+erlc -bber ../Example.asn
+erlc -o ../asnfiles -I ../asnfiles -I /usr/local/standards/asn1 Person.asn</pre>
+      <p>Useful options for the ASN.1 compiler:</p>
+      <taglist>
+        <tag><c>-b[ber | per | uper]</c></tag>
+        <item>
+          <p>Choice of encoding rules. If omitted, <c>ber</c> is the
+          default.</p>
+        </item>
+        <tag><c>-o OutDirectory</c></tag>
+        <item>
+          <p>Where to put the generated files. Default is the current
+            directory.</p>
+        </item>
+        <tag><c>-I IncludeDir</c></tag>
+        <item>
+          <p>Where to search for <c>.asn1db</c> files and ASN.1
+            source specs to resolve references to other
+            modules. This option can be repeated many times if there
+            are several places to search in. The compiler
+            searches the current directory first.</p>
+        </item>
+        <tag><c>+der</c></tag>
+        <item>
+          <p>DER encoding rule. Only when using option <c>-ber</c>.</p>
+        </item>
+        <tag><c>+asn1config</c></tag>
+        <item>
+          <p>This functionality works together with option
+            <c>ber</c>. It enables the specialized decodes, see Section
+            <seealso marker="asn1_spec">Specialized Decode</seealso>.</p>
+        </item>
+        <tag><c>+undec_rest</c></tag>
+        <item>
+          <p>A buffer that holds a message being decoded can also have
+          trailing bytes. If those trailing bytes are important, they
+          can be returned along with the decoded value by compiling
+          the ASN.1 specification with option <c>+undec_rest</c>.
+          The return value from the decoder is
+          <c>{ok,Value,Rest}</c> where <c>Rest</c> is a binary
+          containing the trailing bytes.</p>
+        </item>
+        <tag><c>+'Any Erlc Option'</c></tag>
+        <item>
+          <p>Any option can be added to the Erlang compiler when
+            compiling the generated Erlang files. Any option
+            unrecognized by the ASN.1 compiler is passed to the
+            Erlang compiler.</p>
+        </item>
+      </taglist>
+      <p>For a complete description of <c>erlc</c>, see
+        ERTS Reference Manual.</p>
+      <p>The compiler and other compile-time functions can also be started
+        from the Erlang shell. Here follows a brief
+        description of the primary functions. For a
+        complete description of each function, see module <c>asn1ct</c> in
+        the <seealso marker="asn1ct">ASN.1 Reference Manual</seealso>.</p>
+      <p>The compiler is started by <c>asn1ct:compile/1</c> with
+        default options, or <c>asn1ct:compile/2</c> if explicit options
+        are given.</p>
+      <p>Example:</p>
+      <pre>
+asn1ct:compile("H323-MESSAGES.asn1").      </pre>
+      <p>This equals:</p>
+      <pre>
+asn1ct:compile("H323-MESSAGES.asn1",[ber]).      </pre>
+      <p>If PER encoding is wanted:</p>
+      <pre>
+asn1ct:compile("H323-MESSAGES.asn1",[per]).      </pre>
+      <p>The generic encode and decode functions can be called
+      as follows:</p>
+      <pre>
+'H323-MESSAGES':encode('SomeChoiceType',{call,&lt;&lt;"octetstring"&gt;&gt;}).
+'H323-MESSAGES':decode('SomeChoiceType',Bytes).      </pre>
+    </section>
+
+    <section>
+      <title>Runtime Functions</title>
+      <p>When an ASN.1 specification is compiled with option <c>ber</c>,
+      the <c>asn1rt_nif</c> module and the NIF library in
+      <c>asn1/priv_dir</c> are needed at runtime.</p>
+      <p>By calling function <c>info/0</c> in a generated module, you
+      get information about which compiler options were used.</p>
+    </section>
+
+    <section>
+      <title>Errors</title>
+      <p>Errors detected at
+        compile-time are displayed on the screen together with line
+        numbers indicating where in the source file the respective error
+        was detected. If no errors are found, an Erlang ASN.1 module is
+        created.</p>
+      <p>The runtime encoders and decoders execute within a catch and
+      return <c>{ok, Data}</c> or
+        <c>{error, {asn1, Description}}</c> where
+        <c>Description</c> is
+        an Erlang term describing the error.</p>
+    </section>
+  </section>
+
+  <section>
+    <marker id="inlineExamples"></marker>
+    <title>Multi-File Compilation</title>
+    <p>There are various reasons for using multi-file compilation:</p>
+    <list type="bulleted">
+      <item>To choose the name for the generated module, for
+      example, because you need to compile the same specs for
+      different encoding rules.</item>
+      <item>You want only one resulting module.</item>
+    </list>
+    <p>Specify which ASN.1 specs to compile in a module with extension
+      <c>.set.asn</c>. Choose a module name and provide the
+      names of the ASN.1 specs. For example, if you have the specs
+      <c>File1.asn</c>, <c>File2.asn</c>, and <c>File3.asn</c>, your
+      module <c>MyModule.set.asn</c> looks as follows:</p>
+    <pre>
+File1.asn
+File2.asn
+File3.asn    </pre>
+    <p>If you compile with the following, the result is one merged
+    module <c>MyModule.erl</c> with the generated code from the three
+    ASN.1 specs:</p>
+    <code type="none">
+~> erlc MyModule.set.asn    </code>
+  </section>
+
+  <section>
+    <title>Remark about Tags</title>
+
+    <p>Tags used to be important for all users of ASN.1, because it
+    was necessary to add tags manually to certain constructs in order
+    for the ASN.1 specification to be valid. Example of
+    an old-style specification:</p>
+
+    <pre>
+Tags DEFINITIONS ::=
+BEGIN
+  Afters ::= CHOICE { cheese [0] IA5String,
+                      dessert [1] IA5String }
+END </pre>
+
+    <p>Without the tags (the numbers in square brackets) the ASN.1
+    compiler refused to compile the file.</p>
+
+    <p>In 1994 the global tagging mode <c>AUTOMATIC TAGS</c> was introduced.
+    By putting <c>AUTOMATIC TAGS</c> in the module header, the ASN.1
+    compiler automatically adds tags when needed. The following is the
+    same specification in <c>AUTOMATIC TAGS</c> mode:</p>
+
+    <pre>
+Tags DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+  Afters ::= CHOICE { cheese IA5String,
+                      dessert IA5String }
+END </pre>
+
+    <p>Tags are not mentioned any more in this User's Guide.</p>
+  </section>
+
+  <section>
+    <marker id="ASN1Types"></marker>
+    <title>ASN.1 Types</title>
+    <p>This section describes the ASN.1 types including their
+      functionality, purpose, and how values are assigned in Erlang.
+      </p>
+    <p>ASN.1 has both primitive and constructed types:</p>
+    <p></p>
+    <table>
+      <row>
+        <cell align="left" valign="middle"><em>Primitive Types</em></cell>
+        <cell align="left" valign="middle"><em>Constructed Types</em></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#BOOLEAN">BOOLEAN</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#SEQUENCE">SEQUENCE</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#INTEGER">INTEGER</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#SET">SET</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#REAL">REAL</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#CHOICE">CHOICE</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#NULL">NULL</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#SOF">SET OF and SEQUENCE OF</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#ENUMERATED">ENUMERATED</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#ANY">ANY</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#BIT STRING">BIT STRING</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#ANY">ANY DEFINED BY</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#OCTET STRING">OCTET STRING</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#NegotiationTypes">EXTERNAL</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#Character Strings">Character Strings</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#NegotiationTypes">EMBEDDED PDV</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#OBJECT IDENTIFIER">OBJECT IDENTIFIER</seealso></cell>
+        <cell align="left" valign="middle"><seealso marker="#NegotiationTypes">CHARACTER STRING</seealso></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#Object Descriptor">Object Descriptor</seealso></cell>
+        <cell align="left" valign="middle"></cell>
+      </row>
+      <row>
+        <cell align="left" valign="middle"><seealso marker="#The TIME types">TIME Types</seealso></cell>
+        <cell align="left" valign="middle"></cell>
+      </row>
+      <tcaption>Supported ASN.1 Types</tcaption>
+    </table>
+    <marker id="TypeNameValue"></marker>
+    <note>
+      <p>The values of each ASN.1 type have their own representation in Erlang, as
+        described in the following sections. Users must provide
+        these values for encoding according to the representation, as shown in the
+        following example:</p>
+    </note>
+    <pre>
+Operational ::= BOOLEAN --ASN.1 definition    </pre>
+    <p>In Erlang code it can look as follows:</p>
+    <pre>
+Val = true,
+{ok,Bytes} = MyModule:encode('Operational', Val),    </pre>
+
+    <section>
+      <marker id="BOOLEAN"></marker>
+      <title>BOOLEAN</title>
+      <p>Booleans in ASN.1 express values that can be either
+        <c>TRUE</c> or <c>FALSE</c>.
+        The meanings assigned to <c>TRUE</c> and <c>FALSE</c> are outside the scope
+        of this text.</p>
+      <p>In ASN.1 it is possible to have:</p>
+      <pre>
+Operational ::= BOOLEAN</pre>
+      <p>Assigning a value to type <c>Operational</c> in Erlang is possible by
+        using the following Erlang code:</p>
+      <code type="erl">
+Myvar1 = true,</code>
+      <p>Thus, in Erlang the atoms <c>true</c> and <c>false</c> are used
+        to encode a boolean value.</p>
+    </section>
+
+    <section>
+      <marker id="INTEGER"></marker>
+      <title>INTEGER</title>
+      <p>ASN.1 itself specifies indefinitely large integers. Erlang
+        systems with version 4.3 and higher support very large
+        integers, in practice indefinitely large integers.</p>
+      <p>The concept of subtyping can be applied to integers and
+        to other ASN.1 types. The details of subtyping are not
+        explained here; for more information, see X.680. Various
+        syntaxes are allowed when defining a type as an integer:</p>
+      <pre>
+T1 ::= INTEGER
+T2 ::= INTEGER (-2..7)
+T3 ::= INTEGER (0..MAX)
+T4 ::= INTEGER (0&lt;..MAX)
+T5 ::= INTEGER (MIN&lt;..-99)
+T6 ::= INTEGER {red(0),blue(1),white(2)}</pre>
+      <p>The Erlang representation of an ASN.1 <c>INTEGER</c> is an integer or
+        an atom if a <c>Named Number List</c> (see <c>T6</c> in the previous
+        list) is specified.</p>
+      <p>The following is an example of Erlang code that assigns values for the
+        types in the previous list:</p>
+      <pre>
+T1value = 0,
+T2value = 6,
+T6value1 = blue,
+T6value2 = 0,
+T6value3 = white</pre>
+      <p>These Erlang variables are now bound to valid instances of
+        ASN.1 defined types. This style of value can be passed directly
+        to the encoder for transformation into a series of bytes.</p>
+      <p>The decoder returns an atom if the value corresponds to a
+        symbol in the <c>Named Number List</c>.</p>
+    </section>
+
+    <section>
+      <marker id="REAL"></marker>
+      <title>REAL</title>
+      <p>The following ASN.1 type is used for real numbers:</p>
+      <pre>
+R1 ::= REAL</pre>
+      <p>It is assigned a value in Erlang as follows:</p>
+      <pre>
+R1value1 = "2.14",
+R1value2 = {256,10,-2},</pre>
+      <p>In the last line, notice that the tuple {256,10,-2} is the real number
+        2.56 in a special notation, which encodes faster than simply
+        stating the number as <c>"2.56"</c>. The arity three tuple is
+        <c>{Mantissa,Base,Exponent}</c>, that is, Mantissa * Base^Exponent.</p>
+    </section>
+
+    <section>
+      <marker id="NULL"></marker>
+      <title>NULL</title>
+      <p>The type <c>NULL</c> is suitable where supply and recognition of a value
+        is important but the actual value is not.</p>
+      <pre>
+Notype ::= NULL</pre>
+      <p>This type is assigned in Erlang as follows:</p>
+      <pre>
+N1 = 'NULL',</pre>
+      <p>The actual value is the quoted atom <c>'NULL'</c>.</p>
+    </section>
+
+    <section>
+      <marker id="ENUMERATED"></marker>
+      <title>ENUMERATED</title>
+      <p>The type <c>ENUMERATED</c> can be used when the value you want to
+        describe can only take one of a set of predefined values. Example:</p>
+      <pre>
+DaysOfTheWeek ::= ENUMERATED { 
+    sunday(1),monday(2),tuesday(3),
+    wednesday(4),thursday(5),friday(6),saturday(7) }</pre>
+      <p>For example, to assign a weekday value in Erlang, use the same atom
+        as in the <c>Enumerations</c> of the type definition:</p>
+      <pre>
+Day1 = saturday,</pre>
+      <p>The enumerated type is similar to an integer type, when
+        defined with a set of predefined values. The difference is that
+        an enumerated type can only have specified
+        values, whereas an integer can have any value.</p>
+    </section>
+
+    <section>
+      <marker id="BIT STRING"></marker>
+      <title>BIT STRING</title>
+      <p>The type <c>BIT STRING</c> can be used to model information that
+        is made up of arbitrary length series of bits. It is intended
+        to be used for selection of flags, not for binary files.</p>
+      <p>In ASN.1, <c>BIT STRING</c> definitions can look as follows:</p>
+      <pre>
+Bits1 ::= BIT STRING
+Bits2 ::= BIT STRING {foo(0),bar(1),gnu(2),gnome(3),punk(14)}</pre>
+      <p>The following two notations are available for representation of <c>BIT
+        STRING</c> values in Erlang and as input to the encode functions:</p>
+      <list type="ordered">
+        <item>A bitstring. By default, a <c>BIT STRING</c> with no
+         symbolic names is decoded to an Erlang bitstring.</item>
+        <item>A list of atoms corresponding to atoms in the <c>NamedBitList</c>
+         in the <c>BIT STRING</c> definition. A <c>BIT STRING</c> with symbolic
+         names is always decoded to the format shown in the following
+         example:</item>
+      </list>
+      <pre>
+Bits1Val1 = &lt;&lt;0:1,1:1,0:1,1:1,1:1&gt;&gt;,
+Bits2Val1 = [gnu,punk],
+Bits2Val2 = &lt;&lt;2#1110:4&gt;&gt;,
+Bits2Val3 = [bar,gnu,gnome],</pre>
+      <p><c>Bits2Val2</c> and <c>Bits2Val3</c> denote the same value.</p>
+      <p><c>Bits2Val1</c> is assigned symbolic values. The assignment means
+        that the bits corresponding to <c>gnu</c> and <c>punk</c>, that is, bits
+        2 and 14 are set to 1, and the rest are set to 0. The symbolic values
+        are shown as a list of values. If a named value, which is not
+        specified in the type definition, is shown, a runtime error occurs.</p>
+      <p><c>BIT STRING</c>s can also be subtyped with, for example, a <c>SIZE</c>
+        specification:</p>
+      <pre>
+Bits3 ::= BIT STRING (SIZE(0..31))      </pre>
+      <p>This means that no bit higher than 31 can be set.</p>
+
+      <section>
+	<title>Deprecated Representations for BIT STRING</title>
+	<p>In addition to the representations described earlier, the
+	following deprecated representations are available if the
+	specification has been compiled with option
+	<c>legacy_erlang_types</c>:</p>
+	<list type="ordered">
+	  <item>Aa a list of binary digits (0 or 1). This format is
+	  accepted as input to the encode functions, and a <c>BIT STRING</c>
+	  is decoded to this format if option
+	  <em>legacy_bit_string</em> is given.
+	  </item>
+	  <item>As <c>{Unused,Binary}</c> where <c>Unused</c> denotes
+	  how many trailing zero-bits 0-7 that are unused in the
+	  least significant byte in <c>Binary</c>. This format is
+	  accepted as input to the encode functions, and a <c>BIT
+	  STRING</c> is decoded to this format if
+	  <c>compact_bit_string</c> has been given.
+	  </item>
+	  <item>As a hexadecimal number (or an integer). Avoid this
+	  as it is easy to misinterpret a <c>BIT
+	  STRING</c> value in this format.
+	  </item>
+	</list>
+      </section>
+    </section>
+
+    <section>
+      <marker id="OCTET STRING"></marker>
+      <title>OCTET STRING</title>
+      <p><c>OCTET STRING</c> is the simplest of all ASN.1 types. <c>OCTET
+      STRING</c> only moves or transfers, for example, binary files or other
+      unstructured information complying with two rules: the
+      bytes consist of octets and encoding is not required.</p>
+      <p>It is possible to have the following ASN.1 type definitions:</p>
+      <pre>
+O1 ::= OCTET STRING
+O2 ::= OCTET STRING (SIZE(28))      </pre>
+      <p>With the following example assignments in Erlang:</p>
+      <pre>
+O1Val = &lt;&lt;17,13,19,20,0,0,255,254&gt;&gt;,
+O2Val = &lt;&lt;"must be exactly 28 chars...."&gt;&gt;,</pre>
+       <p>By default, an <c>OCTET STRING</c> is always represented as
+       an Erlang binary. If the specification has been compiled with
+       option <c>legacy_erlang_types</c>, the encode functions
+       accept both lists and binaries, and the decode functions
+       decode an <c>OCTET STRING</c> to a list.</p>
+    </section>
+
+    <section>
+      <marker id="Character Strings"></marker>
+      <title>Character Strings</title>
+      <p>ASN.1 supports a wide variety of character sets. The main difference
+        between an <c>OCTET STRING</c> and a character string is that the
+        <c>OCTET STRING</c> has no imposed semantics on the bytes delivered.</p>
+      <p>However, when using, for example, IA5String (which closely
+        resembles ASCII), byte 65 (in decimal
+        notation) <em>means</em> character 'A'.
+        </p>
+      <p>For example, if a defined type is to be a VideotexString and
+        an octet is received with the unsigned integer value <c>X</c>,
+        the octet is to be interpreted as specified in standard
+        ITU-T T.100, T.101. 
+        </p>
+      <p>The  ASN.1 to Erlang compiler
+        does not determine the correct interpretation of each BER
+        string octet value with different character strings. The
+        application is responsible for interpretation
+        of octets. Therefore, from the BER
+        string point of view, octets are very similar to
+        character strings and are compiled in the same way.
+        </p>
+      <p>When PER is
+        used, there is a significant difference in the encoding scheme
+        between <c>OCTET STRING</c>s and other strings. The constraints
+        specified for a type are especially important for PER, where
+        they affect the encoding.
+        </p>
+      <p>Examples:</p>
+      <pre>
+Digs ::= NumericString (SIZE(1..3))
+TextFile ::= IA5String (SIZE(0..64000))      </pre>
+      <p>The corresponding Erlang assignments:</p>
+      <pre>
+DigsVal1 = "456",
+DigsVal2 = "123",
+TextFileVal1 = "abc...xyz...",
+TextFileVal2 = [88,76,55,44,99,121 .......... a lot of characters here ....]</pre>
+      <p>The Erlang representation for "BMPString" and
+        "UniversalString" is either a list of ASCII values or a list
+        of quadruples. The quadruple representation associates to the
+        Unicode standard representation of characters. The ASCII
+        characters are all represented by quadruples beginning with
+        three zeros like {0,0,0,65} for character 'A'. When
+        decoding a value for these strings, the result is a list of
+        quadruples, or integers when the value is an ASCII character.</p>
+
+      <p>The following example shows how it works. Assume the following
+        specification is in file <c>PrimStrings.asn1</c>:</p>
+       <pre>
+PrimStrings DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+   BMP ::= BMPString
+END    </pre>
+
+       <p>Encoding and decoding some strings:</p>
+
+      <pre>
+1> <input>asn1ct:compile('PrimStrings', [ber]).</input>
+ok
+2> <input>{ok,Bytes1} = 'PrimStrings':encode('BMP', [{0,0,53,53},{0,0,45,56}]).</input>
+{ok,&lt;&lt;30,4,53,54,45,56>>}
+3> <input>'PrimStrings':decode('BMP', Bytes1).</input>
+{ok,[{0,0,53,53},{0,0,45,56}]}
+4> <input>{ok,Bytes2} = 'PrimStrings':encode('BMP', [{0,0,53,53},{0,0,0,65}]).</input>
+{ok,&lt;&lt;30,4,53,53,0,65>>}
+5> <input>'PrimStrings':decode('BMP', Bytes2).</input>
+{ok,[{0,0,53,53},65]}
+6> <input>{ok,Bytes3} = 'PrimStrings':encode('BMP', "BMP string").</input>
+{ok,&lt;&lt;30,20,0,66,0,77,0,80,0,32,0,115,0,116,0,114,0,105,0,110,0,103>>}
+7> <input>'PrimStrings':decode('BMP', Bytes3).</input>
+{ok,"BMP string"}      </pre>
+
+      <p>Type UTF8String is represented as a UTF-8 encoded binary in
+      Erlang. Such binaries can be created directly using the binary syntax
+      or by converting from a list of Unicode code points using function
+      <c>unicode:characters_to_binary/1</c>.</p>
+
+      <p>The following shows examples of how UTF-8 encoded binaries can
+      be created and manipulated:</p>
+      <pre>
+1> <input>Gs = "Мой маленький Гном".</input>
+[1052,1086,1081,32,1084,1072,1083,1077,1085,1100,1082,1080,
+ 1081,32,1043,1085,1086,1084]
+2> <input>Gbin = unicode:characters_to_binary(Gs).</input>
+&lt;&lt;208,156,208,190,208,185,32,208,188,208,176,208,187,208,
+  181,208,189,209,140,208,186,208,184,208,185,32,208,147,
+  208,...>>
+3> <input>Gbin = &lt;&lt;"Мой маленький Гном"/utf8>>.</input>
+&lt;&lt;208,156,208,190,208,185,32,208,188,208,176,208,187,208,
+  181,208,189,209,140,208,186,208,184,208,185,32,208,147,
+  208,...>>
+4> <input>Gs = unicode:characters_to_list(Gbin).</input>
+[1052,1086,1081,32,1084,1072,1083,1077,1085,1100,1082,1080,
+ 1081,32,1043,1085,1086,1084]</pre>
+
+      <p>For details, see the <seealso marker="stdlib:unicode">unicode</seealso>
+      module in <c>stdlib</c>.</p>
+
+      <p>In the following example, this ASN.1 specification is used:</p>
+      <pre>
+UTF DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+   UTF ::= UTF8String
+END   </pre>
+
+      <p>Encoding and decoding a string with Unicode characters:</p>
+
+      <pre>
+5> <input>asn1ct:compile('UTF', [ber]).</input>
+ok
+6> <input>{ok,Bytes1} = 'UTF':encode('UTF', &lt;&lt;"Гном"/utf8>>).</input>
+{ok,&lt;&lt;12,8,208,147,208,189,208,190,208,188>>}
+7> <input>{ok,Bin1} = 'UTF':decode('UTF', Bytes1).</input>
+{ok,&lt;&lt;208,147,208,189,208,190,208,188>>}
+8> <input>io:format("~ts\n", [Bin1]).</input>
+Гном
+ok
+9> <input>unicode:characters_to_list(Bin1).</input>
+[1043,1085,1086,1084]   </pre>
+    </section>
+
+    <section>
+      <marker id="OBJECT IDENTIFIER"></marker>
+      <title>OBJECT IDENTIFIER</title>
+      <p>The type <c>OBJECT IDENTIFIER</c> is used whenever a unique identity is
+        required. An ASN.1 module, a transfer syntax, and so on, is identified
+        with an <c>OBJECT IDENTIFIER</c>. Assume the following example:</p>
+      <pre>
+Oid ::= OBJECT IDENTIFIER</pre>
+      <p>Therefore, the following example is a valid Erlang instance of
+        type 'Oid':</p>
+      <pre>
+OidVal1 = {1,2,55},</pre>
+      <p>The <c>OBJECT IDENTIFIER</c> value is simply a tuple with the
+        consecutive values, which must be integers.
+        </p>
+      <p>The first value is limited to the values 0, 1, or 2. The
+        second value must be in the range 0..39 when the first value
+        is 0 or 1.
+        </p>
+      <p>The <c>OBJECT IDENTIFIER</c> is an important type and it is
+        widely used within different standards to identify various
+        objects uniquely. Dubuisson: ASN.1 - Communication Between
+        Heterogeneous Systems includes an
+        easy-to-understand description of the use of
+        <c>OBJECT IDENTIFIER</c>.</p>
+    </section>
+
+    <section>
+      <marker id="Object Descriptor"></marker>
+      <title>Object Descriptor</title>
+      <p>Values of this type can be assigned a value as an ordinary string
+      as follows:</p>
+
+      <pre>
+      "This is the value of an Object descriptor"</pre>
+    </section>
+
+    <section>
+      <marker id="The TIME types"></marker>
+      <title>TIME Types</title>
+      <p>Two time types are defined within ASN.1: Generalized
+        Time and Universal Time Coordinated (UTC). Both are assigned a
+        value as an ordinary string within double quotes, for example,
+        "19820102070533.8".</p>
+      <p>For DER encoding, the compiler does not check the validity
+        of the time values. The DER requirements upon those strings are
+        regarded as a matter for the application to fulfill.</p>
+    </section>
+
+    <section>
+      <marker id="SEQUENCE"></marker>
+      <title>SEQUENCE</title>
+      <p>The structured types of ASN.1 are constructed from other types
+        in a manner similar to the concepts of array and struct in  C.</p>
+      <p>A <c>SEQUENCE</c> in ASN.1 is
+        comparable with a struct in C and a record in Erlang.
+        A <c>SEQUENCE</c> can be defined as follows:</p>
+      <pre>
+Pdu ::= SEQUENCE {
+   a INTEGER,
+   b REAL,
+   c OBJECT IDENTIFIER,
+   d NULL }      </pre>
+      <p>This is a 4-component structure called <c>Pdu</c>. The record format
+        is the major format for representation of <c>SEQUENCE</c> in Erlang.
+        For each <c>SEQUENCE</c> and <c>SET</c> in an ASN.1 module an Erlang
+        record declaration is generated. For <c>Pdu</c>, a record
+        like the following is defined:</p>
+      <pre>
+-record('Pdu',{a, b, c, d}).      </pre>
+      <p>The record declarations for a module <c>M</c> are placed in a
+        separate <c>M.hrl</c> file.</p>
+      <p>Values can be assigned in Erlang as follows:</p>
+      <pre>
+MyPdu = #'Pdu'{a=22,b=77.99,c={0,1,2,3,4},d='NULL'}.      </pre>
+      <p>The decode functions return a record as result when decoding
+      a <c>SEQUENCE</c> or a <c>SET</c>.</p>
+
+      <p>A <c>SEQUENCE</c> and a <c>SET</c> can contain a component
+      with a <c>DEFAULT</c> keyword followed by the actual value, which
+      is the default value. The <c>DEFAULT</c> keyword means that the
+      application doing the encoding can omit encoding of the value, which
+      results in fewer bytes to send to the receiving application.</p>
+
+      <p>An application can use the atom <c>asn1_DEFAULT</c> to indicate
+      that the encoding is to be omitted for that position in
+      the <c>SEQUENCE</c>.</p>
+
+      <p>Depending on the encoding rules, the encoder can also compare
+      the given value to the default value and automatically omit the
+      encoding if the values are equal. How much effort the encoder makes
+      to compare the values depends on the encoding rules. The DER
+      encoding rules forbid encoding a value equal to the default value,
+      so it has a more thorough and time-consuming comparison than the
+      encoders for the other encoding rules.</p>
+
+      <p>In the following example, this ASN.1 specification is used:</p>
+      <pre>
+File DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+Seq1 ::= SEQUENCE {
+    a INTEGER DEFAULT 1,
+    b Seq2 DEFAULT {aa TRUE, bb 15}
+}
+
+Seq2 ::= SEQUENCE {
+    aa BOOLEAN,
+    bb INTEGER
+}
+
+Seq3 ::= SEQUENCE {
+    bs BIT STRING {a(0), b(1), c(2)} DEFAULT {a, c}
+}
+END </pre>
+      <p>Example where the BER encoder is able to omit encoding
+      of the default values:</p>
+      <pre>
+1> <input>asn1ct:compile('File', [ber]).</input>
+ok
+2> <input>'File':encode('Seq1', {'Seq1',asn1_DEFAULT,asn1_DEFAULT}).</input>
+{ok,&lt;&lt;48,0>>}
+3> <input>'File':encode('Seq1', {'Seq1',1,{'Seq2',true,15}}).</input>
+{ok,&lt;&lt;48,0>>}   </pre>
+
+     <p>Example with a named <c>BIT STRING</c> where the BER
+     encoder does not omit the encoding:</p>
+     <pre>
+4> <input>'File':encode('Seq3', {'Seq3',asn1_DEFAULT).</input>
+{ok,&lt;&lt;48,0>>}
+5> <input>'File':encode('Seq3', {'Seq3',&lt;&lt;16#101:3>>).</input>
+{ok,&lt;&lt;48,4,128,2,5,160>>}     </pre>
+
+     <p>The DER encoder omits the encoding for the same <c>BIT STRING</c>:</p>
+     <pre>
+6> <input>asn1ct:compile('File', [ber,der]).</input>
+ok
+7> <input>'File':encode('Seq3', {'Seq3',asn1_DEFAULT).</input>
+{ok,&lt;&lt;48,0>>}
+8> <input>'File':encode('Seq3', {'Seq3',&lt;&lt;16#101:3>>).</input>
+{ok,&lt;&lt;48,0>>}     </pre>
+    </section>
+
+    <section>
+      <marker id="SET"></marker>
+      <title>SET</title>
+      <p>In Erlang, the <c>SET</c> type is used exactly as <c>SEQUENCE</c>.
+      Notice that if BER or DER encoding rules are used, decoding a
+      <c>SET</c> is slower than decoding a <c>SEQUENCE</c> because the
+      components must be sorted.</p>
+    </section>
+
+    <section>
+      <title>Extensibility for SEQUENCE and SET</title>
+      <p>When a <c>SEQUENCE</c> or <c>SET</c> contains an extension marker
+        and extension components as the following, the type can get more
+        components in newer versions of the ASN.1 spec:</p>
+      <pre>
+SExt ::= SEQUENCE {
+           a INTEGER,
+           ...,
+           b BOOLEAN }</pre>
+      <p>In this case it has got a new
+        component <c>b</c>. Thus, incoming messages that are decoded
+        can have more or fever components than this one.
+        </p>
+      <p>The component <c>b</c> is treated as
+        an original component when encoding a message. In this case, as
+        it is not an optional element, it must be encoded.
+        </p>
+      <p>During decoding, the <c>b</c> field of the record gets the decoded
+        value of the <c>b</c>
+        component, if present, otherwise the value <c>asn1_NOVALUE</c>.</p>
+    </section>
+
+    <section>
+      <marker id="CHOICE"></marker>
+      <title>CHOICE</title>
+      <p>The type <c>CHOICE</c> is a space saver and is similar to the
+      concept of a 'union' in C.</p>
+      <p>Assume the following:</p>
+      <pre>
+SomeModuleName DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+T ::= CHOICE {
+        x REAL,
+        y INTEGER,
+        z OBJECT IDENTIFIER }
+END </pre>
+      <p>It is then possible to assign values as follows:</p>
+      <pre>
+TVal1 = {y,17},
+TVal2 = {z,{0,1,2}},</pre>
+      <p>A <c>CHOICE</c> value is always represented as the tuple
+        <c>{ChoiceAlternative, Val}</c> where <c>ChoiceAlternative</c>
+        is an atom denoting the selected choice alternative.
+      </p>
+
+      <section>
+        <title>Extensible CHOICE</title>
+        <p>When a <c>CHOICE</c> contains an extension marker and the
+         decoder detects an unknown alternative of the <c>CHOICE</c>,
+         the value is represented as follows:</p>
+        <pre>
+{asn1_ExtAlt, BytesForOpenType}</pre>
+        <p>Here <c>BytesForOpenType</c> is a list of bytes constituting the
+          encoding of the "unknown" <c>CHOICE</c> alternative.</p>
+      </section>
+    </section>
+
+    <section>
+      <marker id="SOF"></marker>
+      <title>SET OF and SEQUENCE OF</title>
+      <p>The types <c>SET OF</c> and <c>SEQUENCE OF</c> correspond
+        to the concept of an array
+        in several programming languages. The Erlang syntax for
+        both types is straightforward, for example:</p>
+      <pre>
+Arr1 ::= SET SIZE (5) OF INTEGER (4..9) 
+Arr2 ::= SEQUENCE OF OCTET STRING      </pre>
+      <p>In Erlang the following can apply:</p>
+      <pre>
+Arr1Val = [4,5,6,7,8],
+Arr2Val = ["abc",[14,34,54],"Octets"],      </pre>
+      <p>Notice that the definition of type <c>SET OF</c> implies that
+        the order of the components is undefined, but in practice there is 
+        no difference between <c>SET OF</c> and <c>SEQUENCE OF</c>.
+        The ASN.1 compiler for Erlang does not randomize the order of the
+        <c>SET OF</c> components before encoding.</p>
+      <p>However, for a value of type <c>SET OF</c>, the DER
+        encoding format requires the elements to be sent in ascending
+        order of their encoding, which implies an expensive sorting
+        procedure in runtime. Therefore it is recommended to
+        use <c>SEQUENCE OF</c> instead of <c>SET OF</c> if possible.</p>
+    </section>
+
+    <section>
+      <marker id="ANY"></marker>
+      <title>ANY and ANY DEFINED BY</title>
+      <p>The types <c>ANY</c> and <c>ANY DEFINED BY</c> have been removed
+        from the standard since 1994. It is recommended not to use
+        these types any more. They can, however, exist in some old ASN.1
+        modules. The idea with this type was to leave a "hole" in a 
+        definition where it was possible to
+        put unspecified data of any kind, even non-ASN.1 data.</p>
+      <p>A value of this type is encoded as an <c>open type</c>.</p>
+      <p>Instead of <c>ANY</c> and <c>ANY DEFINED BY</c>, it is
+        recommended to use
+        <c>information object class</c>, <c>table constraints</c>, and
+        <c>parameterization</c>. In particular the construct
+        <c>TYPE-IDENTIFIER.@Type</c> accomplish the same as the
+        deprecated <c>ANY</c>.</p>
+      <p>See also
+      <seealso marker="#Information Object">Information object</seealso>.</p>
+    </section>
+
+    <section>
+      <marker id="NegotiationTypes"></marker>
+      <title>EXTERNAL, EMBEDDED PDV, and CHARACTER STRING</title>
+      <p>The types <c>EXTERNAL</c>, <c>EMBEDDED PDV</c>, and
+      <c>CHARACTER STRING</c> are used in presentation layer negotiation.
+        They are encoded according to their associated type, see X.680.</p>
+      <p>The type <c>EXTERNAL</c> had a slightly different associated type
+        before 1994. X.691 states that encoding must follow
+        the older associated type. So, generated encode/decode
+        functions convert values of the newer format to the older format
+        before encoding. This implies that it is allowed to use
+        <c>EXTERNAL</c> type values of either format for encoding. Decoded
+        values are always returned in the newer format.</p>
+    </section>
+
+    <section>
+      <title>Embedded Named Types</title>
+      <p>The structured types previously described can have other named
+        types as their components. The general syntax to assign a value
+        to component <c>C</c> of a named ASN.1 type <c>T</c> in Erlang
+        is the record syntax <c>#'T'{'C'=Value}</c>.
+        Here <c>Value</c> can be a value of yet another type <c>T2</c>,
+        for example:</p>
+      <pre>
+EmbeddedExample DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+B ::= SEQUENCE {
+        a Arr1,
+        b T }
+
+Arr1 ::= SET SIZE (5) OF INTEGER (4..9) 
+
+T ::= CHOICE {
+        x REAL,
+        y INTEGER,
+        z OBJECT IDENTIFIER }
+        END      </pre>
+      <p><c>SEQUENCE</c> <c>b</c> can be encoded as follows in Erlang:</p>
+      <pre>
+1> 'EmbeddedExample':encode('B', {'B',[4,5,6,7,8],{x,"7.77"}}).
+{ok,&lt;&lt;5,56,0,8,3,55,55,55,46,69,45,50>>} </pre>
+    </section>
+  </section>
+
+  <section>
+    <title>Naming of Records in .hrl Files</title>
+    <p>When an ASN.1 specification is compiled, all defined types of type
+      <c>SET</c> or <c>SEQUENCE</c> result in a corresponding record in the
+      generated <c>.hrl</c> file. This is because the values for
+      <c>SET</c> and <c>SEQUENCE</c> are represented as records as
+      mentioned earlier.</p>
+    <p>Some special cases of this functionality are presented in the
+      next section.</p>
+
+    <section>
+      <title>Embedded Structured Types</title>
+      <p>In ASN.1 it is also possible to have components that are themselves
+        structured types.
+        For example, it is possible to have the following:</p>
+      <pre>
+Emb ::= SEQUENCE {
+    a SEQUENCE OF OCTET STRING,
+    b SET {
+       a INTEGER,
+       b INTEGER DEFAULT 66},
+    c CHOICE {
+       a INTEGER,
+       b FooType } }
+
+FooType ::= [3] VisibleString      </pre>
+      <p>The following records are generated because of type <c>Emb</c>:</p>
+      <pre>
+-record('Emb,{a, b, c}).
+-record('Emb_b',{a, b = asn1_DEFAULT}). % the embedded SET type </pre>
+      <p>Values of type <c>Emb</c> can be assigned as follows:</p>
+      <code type="none">
+V = #'Emb'{a=["qqqq",[1,2,255]], 
+           b = #'Emb_b'{a=99}, 
+           c ={b,"Can you see this"}}.</code>
+      <p>For an embedded type of type <c>SEQUENCE</c>/<c>SET</c> in a
+        <c>SEQUENCE</c>/<c>SET</c>, the record name is extended with an
+        underscore and the component name. If the embedded structure is
+        deeper with the <c>SEQUENCE</c>, <c>SET</c>, or <c>CHOICE</c>
+        types in the line, each component name/alternative name is
+        added to the record name.</p>
+      <p>Example:</p>
+      <pre>
+Seq ::= SEQUENCE{
+    a CHOICE{
+        b SEQUENCE {
+           c  INTEGER
+        }
+    }
+}      </pre>
+      <p>This results in the following record:</p>
+      <pre>
+-record('Seq_a_b',{c}).      </pre>
+      <p>If the structured type has a component with an embedded
+        <c>SEQUENCE OF</c>/<c>SET OF</c> which embedded type in turn
+        is a <c>SEQUENCE</c>/<c>SET</c>, it gives a record with the
+        <c>SEQUENCE OF</c>/<c>SET OF</c>
+        addition as in the following example:</p>
+      <pre>
+Seq ::= SEQUENCE {
+    a SEQUENCE OF SEQUENCE {
+           b
+               }
+    c SET OF SEQUENCE {
+           d
+               }
+}      </pre>
+      <p>This results in the following records:</p>
+      <pre>
+-record('Seq_a_SEQOF'{b}).
+-record('Seq_c_SETOF'{d}).      </pre>
+      <p>A parameterized type is to be considered as an embedded
+        type. Each time such a type is referenced, an instance of it is
+        defined. Thus, in the following example a record with name
+        <c>'Seq_b'</c> is generated in the <c>.hrl</c> file and is used
+        to hold values:</p>
+      <pre>
+Seq ::= SEQUENCE {
+    b PType{INTEGER}
+}
+
+PType{T} ::= SEQUENCE{
+    id T
+}      </pre>
+    </section>
+
+    <section>
+      <title>Recursive Types</title>
+      <p>Types that refer to themselves are called recursive types.
+      Example:</p>
+      <pre>
+Rec ::= CHOICE {
+     nothing NULL,
+     something SEQUENCE {
+          a INTEGER,
+          b OCTET STRING,
+          c Rec }}      </pre>
+      <p>This is allowed in ASN.1 and the ASN.1-to-Erlang compiler
+      supports this recursive type.
+      A value for this type is assigned in Erlang as follows:</p>
+      <pre>
+V = {something,#'Rec_something'{a = 77, 
+                                b = "some octets here", 
+                                c = {nothing,'NULL'}}}.      </pre>
+    </section>
+  </section>
+
+  <section>
+    <title>ASN.1 Values</title>
+    <p>Values can be assigned to an ASN.1 type within the ASN.1 code
+      itself, as opposed to the actions in the previous section where
+      a value was assigned to an ASN.1 type in Erlang. The full value
+      syntax of ASN.1 is supported and X.680 describes in detail how
+      to assign values in ASN.1. A short example:</p>
+    <pre>
+TT ::= SEQUENCE {
+   a INTEGER,
+   b SET OF OCTET STRING }
+
+tt TT ::= {a 77,b {"kalle","kula"}}    </pre>
+    <p>The value defined here can be used in several ways. It can, for
+      example, be used as the value in some <c>DEFAULT</c> component:</p>
+    <pre>
+SS ::= SET {
+    s OBJECT IDENTIFIER,
+    val TT DEFAULT tt }    </pre>
+    <p>It can also be used from inside an Erlang program. If this ASN.1
+      code is defined in ASN.1 module <c>Values</c>, the ASN.1 value
+      <c>tt</c> can be reached from Erlang as a function call to
+      <c>'Values':tt()</c> as in the following example:</p>
+    <pre>
+1> <input>Val = 'Values':tt().</input>
+{'TT',77,["kalle","kula"]}
+2> <input>{ok,Bytes} = 'Values':encode('TT',Val).</input>
+{ok,&lt;&lt;48,18,128,1,77,161,13,4,5,107,97,108,108,101,4,4,
+      107,117,108,97&gt;&gt;}
+4> <input>'Values':decode('TT',Bytes).</input>
+{ok,{'TT',77,["kalle","kula"]}}
+5>  </pre>
+    <p>This example shows that a function is generated by the compiler
+      that returns a valid Erlang representation of the value, although
+      the value is of a complex type.</p>
+    <p>Furthermore, a macro is generated for each value in the <c>.hrl</c>
+      file. So, the defined value <c>tt</c> can also be extracted by
+      <c>?tt</c> in application code.</p>
+  </section>
+
+  <section>
+    <title>Macros</title>
+    <p>The type <c>MACRO</c> is not supported. It is no longer part of
+    the ASN.1 standard.</p>
+  </section>
+
+  <section>
+    <marker id="Information Object"></marker>
+    <title>ASN.1 Information Objects (X.681)</title>
+    <p>Information Object Classes, Information Objects, and Information
+      Object Sets (in the following called classes, objects, and
+      object sets, respectively) are defined in the standard
+      definition X.681. Only a brief explanation is given here.</p>
+    <p>These constructs makes it possible to define open types, that
+      is, values of that type can be of any ASN.1 type. Also,
+      relationships can be defined between different types and
+      values, as classes can hold types, values, objects, object
+      sets, and other classes in their fields. A class can be
+      defined in ASN.1 as follows:</p>
+    <pre>
+GENERAL-PROCEDURE ::= CLASS {
+      &amp;Message,
+      &amp;Reply               OPTIONAL,
+      &amp;Error               OPTIONAL,
+      &amp;id          PrintableString UNIQUE
+}
+WITH SYNTAX {
+      NEW MESSAGE     &amp;Message
+      [REPLY           &amp;Reply]
+      [ERROR           &amp;Error]
+      ADDRESS          &amp;id
+}    </pre>
+    <p>An object is an instance of a class. An object set is a set
+      containing objects of a specified class. A definition can look
+      as follows:</p>
+    <pre>
+object1 GENERAL-PROCEDURE ::= {
+    NEW MESSAGE      PrintableString
+    ADDRESS          "home"
+}
+
+object2 GENERAL-PROCEDURE ::= {
+    NEW MESSAGE INTEGER
+    ERROR INTEGER
+    ADDRESS "remote"
+}</pre>
+    <p>The object <c>object1</c> is an instance of the class
+      <c>GENERAL-PROCEDURE</c> and has one type field and one
+      fixed type value field. The object <c>object2</c> has also an
+      optional field <c>ERROR</c>, which is a type field. The field
+      <c>ADDRESS</c> is a <c>UNIQUE</c> field. Objects in an object set
+      must have unique values in their <c>UNIQUE</c> field, as in
+      <c>GENERAL-PROCEDURES</c>:</p>
+    <pre>
+GENERAL-PROCEDURES GENERAL-PROCEDURE ::= {
+    object1 | object2}    </pre>
+    <p>You cannot encode a class, object, or object set, only refer to
+      it when defining other ASN.1 entities. Typically you refer to a
+      class as well as to object sets by table constraints and component
+      relation constraints (X.682) in ASN.1 types, as in the following:</p>
+    <pre>
+StartMessage  ::= SEQUENCE {
+    msgId  GENERAL-PROCEDURE.&amp;id  ({GENERAL-PROCEDURES}),
+    content GENERAL-PROCEDURE.&amp;Message ({GENERAL-PROCEDURES}{@msgId}),
+    }    </pre>
+    <p>In type <c>StartMessage</c>, the constraint following field
+      <c>content</c> tells that in a value of type
+      <c>StartMessage</c> the value in field <c>content</c> must
+      come from the same object that is chosen by field <c>msgId</c>.</p>
+    <p>So, the value
+      <c>#'StartMessage'{msgId="home",content="Any Printable String"}</c>
+      is legal to encode as a <c>StartMessage</c> value. However, the value
+      <c>#'StartMessage'{msgId="remote", content="Some String"}</c>
+      is illegal as the constraint in <c>StartMessage</c> tells that
+      when you have chosen a value from a specific object in object
+      set <c>GENERAL-PROCEDURES</c> in field 
+      <c>msgId</c>, you must choose a value from that same object in
+      the content field too. In this second case, it is to be
+      any <c>INTEGER</c> value.</p>
+    <p><c>StartMessage</c> can in field <c>content</c> be
+      encoded with a value of any type that an object in object set
+      <c>GENERAL-PROCEDURES</c> has in its <c>NEW MESSAGE</c> field.
+      This field refers to a type field
+      <c>&amp;Message</c> in the class. Field <c>msgId</c> is always
+      encoded as a <c>PrintableString</c>, as the field refers to a
+      fixed type in the class.</p>
+    <p>In practice, object sets are usually declared to be extensible so
+      that more objects can be added to the set later. Extensibility is
+      indicated as follows:</p>
+    <pre>
+GENERAL-PROCEDURES GENERAL-PROCEDURE ::= {
+    object1 | object2, ...}    </pre>
+     <p>When decoding a type that uses an extensible set constraint,
+     it is always possible that the value in field <c>UNIQUE</c>
+     is unknown (that is, the type has been encoded with a later
+     version of the ASN.1 specification). The unencoded data is then
+     returned wrapped in a tuple as follows:</p>
+
+     <pre>
+{asn1_OPENTYPE,Binary}</pre>
+
+     <p>Here <c>Binary</c> is an Erlang binary that contains the encoded
+     data. (If option <c>legacy_erlang_types</c> has been given,
+     only the binary is returned.)</p>
+  </section>
+
+  <section>
+    <title>Parameterization (X.683)</title>
+    <p>Parameterization, which is defined in X.683, can be used when
+      defining types, values, value sets, classes, objects, or object sets.
+      A part of a definition can be supplied as a parameter. For
+      example, if a <c>Type</c> is used in a definition with a certain
+      purpose, you want the type name to express the intention. This
+      can be done with parameterization.</p>
+    <p>When many types (or another ASN.1 entity) only differ in some
+      minor cases, but the structure of the types is similar, only
+      one general type can be defined and the differences can be supplied
+      through parameters.</p>
+    <p>Example of use of parameterization:</p>
+    <pre>
+General{Type} ::= SEQUENCE
+{
+     number     INTEGER,
+     string     Type
+}
+      
+T1 ::= General{PrintableString}
+
+T2 ::= General{BIT STRING}</pre>
+    <p>An example of a value that can be encoded as type <c>T1</c> is
+      <c>{12,"hello"}</c>.</p>
+    <p>Notice that the compiler does not generate encode/decode functions
+      for parameterized types, only for the instances of the parameterized
+      types. Therefore, if a file contains the types <c>General{}</c>,
+      <c>T1</c>, and <c>T2</c> as in the previous example, encode/decode
+      functions are only generated for <c>T1</c> and <c>T2</c>.
+      </p>
+  </section>
+</chapter>
+
diff --git a/lib/asn1/doc/src/asn1_introduction.xml b/lib/asn1/doc/src/asn1_introduction.xml
new file mode 100644
index 0000000000..ae0379684a
--- /dev/null
+++ b/lib/asn1/doc/src/asn1_introduction.xml
@@ -0,0 +1,99 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE chapter SYSTEM "chapter.dtd">
+
+<chapter>
+  <header>
+    <copyright>
+      <year>1997</year><year>2013</year>
+      <holder>Ericsson AB. All Rights Reserved.</holder>
+    </copyright>
+    <legalnotice>
+      The contents of this file are subject to the Erlang Public License,
+      Version 1.1, (the "License"); you may not use this file except in
+      compliance with the License. You should have received a copy of the
+      Erlang Public License along with this software. If not, it can be
+      retrieved online at http://www.erlang.org/.
+    
+      Software distributed under the License is distributed on an "AS IS"
+      basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+      the License for the specific language governing rights and limitations
+      under the License.
+    
+    </legalnotice>
+
+    <title>Introduction</title>
+    <prepared></prepared>
+    <docno></docno>
+    <date>2015-03-31</date>
+    <rev>A</rev>
+    <file>asn1_introduction.xml</file>
+  </header>
+
+  <p>The <c>ASN.1</c> application provides the following:</p>
+
+  <list type="bulleted">
+    <item>An ASN.1 compiler for Erlang, which generates encode and
+    decode functions to be used by Erlang programs sending and
+    receiving ASN.1 specified data.</item>
+    <item>Runtime functions used by the generated code.</item>
+    <item>Support for the following encoding rules:
+    <list><item>Basic Encoding Rules (BER)</item>
+    <item>Distinguished Encoding Rules (DER), a specialized form of
+    BER that is used in security-conscious applications</item>
+    <item>Packed Encoding Rules (PER), both the aligned and
+    unaligned variant</item>
+    </list>
+    </item>
+  </list>
+
+  <section>
+    <title>Scope</title>
+      <p>This application covers all features of ASN.1 up to the 1997
+      edition of the specification. In the 2002 edition,
+      new features were introduced. The following features
+      of the 2002 edition are fully or partly supported:</p>
+      <list type="bulleted">
+	<item>
+	  <p>Decimal notation (for example, <c>"1.5e3</c>) for REAL values.
+	  The NR1, NR2, and NR3 formats as explained in ISO 6093 are
+	  supported.</p>
+	</item>
+	<item>
+	  <p>The <c>RELATIVE-OID</c> type for relative object identifiers is
+	  fully supported.</p>
+	</item>
+	<item>
+	  <p>The subtype constraint (<c>CONTAINING</c>/<c>ENCODED BY</c>) to
+	  constrain the content of an octet string or a bit string is
+	  parsed when compiling, but no further action is taken. This
+	  constraint is not a PER-visible constraint.</p>
+	</item>
+	<item>
+	  <p>The subtype constraint by regular expressions (<c>PATTERN</c>)
+	  for character string types is parsed when compiling, but no
+	  further action is taken. This constraint is not a
+	  PER-visible constraint.</p>
+	</item>
+	<item>
+	  <p>Multiple-line comments as in C, <c>/* ... */</c>, are
+	  supported.</p>
+	</item>
+      </list>
+  </section>
+
+  <section>
+    <title>Prerequisites</title>
+      <p>It is assumed that the reader is familiar with the Erlang
+      programming language, concepts of OTP, and is familiar with the
+      ASN.1 notation. The ASN.1 notation is documented in the standard
+      definition X.680, which is the primary text. It can also be
+      helpful, but not necessary, to read the standard definitions
+      X.681, X.682, X.683, X.690, and X.691.</p>
+      <p>A good book explaining those reference texts is
+      Dubuisson: ASN.1 - Communication Between Heterogeneous Systems,
+      is free to download at
+      <url href="http://www.oss.com/asn1/dubuisson.html">http://www.oss.com/asn1/dubuisson.html</url>.</p>
+  </section>
+
+</chapter>
+
diff --git a/lib/asn1/doc/src/asn1_overview.xml b/lib/asn1/doc/src/asn1_overview.xml
new file mode 100644
index 0000000000..4a10819c36
--- /dev/null
+++ b/lib/asn1/doc/src/asn1_overview.xml
@@ -0,0 +1,49 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE chapter SYSTEM "chapter.dtd">
+
+<chapter>
+  <header>
+    <copyright>
+      <year>1997</year><year>2013</year>
+      <holder>Ericsson AB. All Rights Reserved.</holder>
+    </copyright>
+    <legalnotice>
+      The contents of this file are subject to the Erlang Public License,
+      Version 1.1, (the "License"); you may not use this file except in
+      compliance with the License. You should have received a copy of the
+      Erlang Public License along with this software. If not, it can be
+      retrieved online at http://www.erlang.org/.
+    
+      Software distributed under the License is distributed on an "AS IS"
+      basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+      the License for the specific language governing rights and limitations
+      under the License.
+    
+    </legalnotice>
+
+    <title>ASN.1</title>
+    <prepared>Kenneth Lundin</prepared>
+    <docno></docno>
+    <date>1999-03-25</date>
+    <rev>D</rev>
+    <file>asn1_overview.xml</file>
+  </header>
+
+<section>
+  <title>Introduction</title>
+
+      <p>ASN.1 is a formal language for
+      describing data structures to be exchanged between distributed
+      computer systems. The purpose of ASN.1 is to have a platform
+      and programming language independent notation to express types
+      using a standardized set of rules for the transformation of
+      values of a defined type into a stream of bytes. This stream of
+      bytes can then be sent on any type of communication
+      channel. This way, two applications written in different
+      programming languages running on different computers, and with
+      different internal representation of data, can exchange instances
+      of structured data types.</p>
+
+</section>
+</chapter>
+
diff --git a/lib/asn1/doc/src/asn1_spec.xmlsrc b/lib/asn1/doc/src/asn1_spec.xmlsrc
index 9001aca65c..e050dff553 100644
--- a/lib/asn1/doc/src/asn1_spec.xmlsrc
+++ b/lib/asn1/doc/src/asn1_spec.xmlsrc
@@ -29,94 +29,100 @@
     <file>asn1_spec.xml</file>
   </header>
   <marker id="SpecializedDecodes"></marker>
-  <p>When performance is of highest priority and one is interested in
-    a limited part of the ASN.1 encoded message, before one decide what
-    to do with the rest of it, one may want to decode only this small
-    part. The situation may be a server that has to decide to which
-    addressee it will send a message. The addressee may be interested in
-    the entire message, but the server may be a bottleneck that one want
-    to spare any unnecessary load. Instead of making two <em>complete decodes</em> (the normal case of decode), one in the server and one
-    in the addressee, it is only necessary to make one <em>specialized decode</em>(in the server) and another complete decode(in the
-    addressee). The following specialized decodes <em>exclusive decode</em> and <em>selected decode</em> support to solve this and
-    similar problems.
-    </p>
-  <p>So far this functionality is only provided when using the
-    optimized BER_BIN version, that is when compiling with the
-    options <c>ber_bin</c> and <c>optimize</c>. It does also work
-    using the <c>nif</c> option. We have no intent to make this
-    available on the default BER version, but maybe in the PER_BIN
-    version (<c>per_bin</c>).
-    </p>
+  <p>When performance is of highest priority and you are interested in
+    a limited part of the ASN.1 encoded message before deciding what
+    to do with the rest of it, an option is to decode only this small
+    part. The situation can be a server that has to decide the
+    addressee of a message. The addressee can be interested in
+    the entire message, but the server can be a bottleneck that you want
+    to spare any unnecessary load.</p>
+  <p> Instead of making two <em>complete decodes</em> (the normal case of
+    decode), one in the server and one in the addressee, it is only
+    necessary to make one <em>specialized decode</em>(in the server)
+    and another complete decode(in the addressee). This section
+    describes the following two specialized decodes, which support
+    to solve this and similar problems:</p>
+    <list type="bulleted">
+      <item><em>Exclusive decode</em></item>
+      <item><em>Selected decode</em></item>
+    </list>
+  <p>This functionality is only provided when using <c>BER</c>
+  (option <c>ber</c>).</p>
 
   <section>
     <title>Exclusive Decode</title>
     <p>The basic idea with exclusive
-      decode is that you specify which parts of the message you want to
+      decode is to specify which parts of the message you want to
       exclude from being decoded. These parts remain encoded and are
-      returned in the value structure as binaries. They may be decoded
+      returned in the value structure as binaries. They can be decoded
       in turn by passing them to a certain <c>decode_part/2</c>
-      function. The performance gain is high when the message is large
-      and you can do an exclusive decode and later on one or several
-      decodes of the parts or a second complete decode instead of two or
+      function. The performance gain is high for large messages.
+      You can do an exclusive decode and later one or more
+      decodes of the parts, or a second complete decode instead of two or
       more complete decodes.
       </p>
 
     <section>
-      <title>How To Make It Work</title>
-      <p>In order to make exclusive decode work you have to do the
-        following:
+      <title>Procedure</title>
+      <p>To perform an exclusive decode:
         </p>
       <list type="bulleted">
-        <item>First,decide the name of the function for the exclusive
-         decode.</item>
-        <item>Second, write instructions that must consist of the name
-         of the exclusive decode function, the name of the ASN.1
-         specification and a notation that tells which parts of the
-         message structure will be excluded from decode. These
-         instructions shall be included in a configuration
-         file. </item>
-        <item>Third, compile with the additional option
-        <c>asn1config</c>. The compiler searches for a configuration
-         file with the same name as the ASN.1 spec but with the
-         extension .asn1config. This configuration file is not the same
-         as used for compilation of a set of files. See section
-        <seealso marker="#UndecodedPart">Writing an Exclusive Decode Instruction.</seealso></item>
+        <item><em>Step 1:</em> Decide the name of the function for the
+	 exclusive decode.</item>
+        <item><p><em>Step 2:</em> Include the following instructions in
+	 a configuration file:</p>
+	 <list type="bulleted">
+	   <item>The name of the exclusive decode function</item>
+	   <item>The name of the ASN.1 specification</item>
+	   <item>A notation that tells which parts of the message
+	   structure to be excluded from decode</item>
+	   </list></item>
+        <item><em>Step 3</em> Compile with the additional option
+         <c>asn1config</c>. The compiler searches for a configuration
+         file with the same name as the ASN.1 specification but with
+         extension <c>.asn1config</c>. This configuration file is not
+	 the same as used for compilation of a set of files. See Section
+	 <seealso marker="#UndecodedPart">Writing an Exclusive Decode
+	 Instruction.</seealso></item>
       </list>
     </section>
 
     <section>
       <title>User Interface</title>
-      <p>The run-time user interface for exclusive decode consists of
-        two different functions. First, the function for an exclusive
-        decode, whose name the user decides in the configuration
-        file. Second, the compiler generates a <c>decode_part/2</c>
-        function when exclusive decode is chosen. This function decodes
-        the parts that were left undecoded during the exclusive
-        decode. Both functions are described below.
-        </p>
-      <p>If the exclusive decode function has for example got the name
+      <p>The runtime user interface for exclusive decode consists of
+        the following two functions:</p>
+	<list type="bulleted">
+	  <item>A function for an exclusive decode, whose name the user
+	  decides in the configuration file</item>
+	  <item>The compiler generates a <c>decode_part/2</c>
+          function when exclusive decode is chosen. This function decodes
+          the parts that were left undecoded during the exclusive
+          decode.</item>
+	</list>
+      <p>Both functions are described in the following.</p>
+      <p>If the exclusive decode function has, for example, the name
         <c>decode_exclusive</c> and an ASN.1 encoded message
-        <c>Bin</c> shall be exclusive decoded, the call is:</p>
+        <c>Bin</c> is to be exclusive decoded, the call is as follows:</p>
       <pre>
 {ok,Excl_Message} = 'MyModule':decode_exclusive(Bin)      </pre>
       <marker id="UndecodedPart"></marker>
-      <p>The result <c>Excl_Message</c> has the same structure as an
-        complete decode would have, except for the parts of the top-type
-        that were not decoded. The undecoded parts will be on their place
-        in the structure on the format <c>{Type_Key,Undecoded_Value}</c>.
+      <p>The result <c>Excl_Message</c> has the same structure as a
+        complete decode would have, except for the parts of the top type
+        that were not decoded. The undecoded parts are on their places
+        in the structure on format <c>{Type_Key,Undecoded_Value}</c>.
         </p>
-      <p>Each undecoded part that shall be decoded must be fed into the <c>decode_part/2</c> function,like:</p>
+      <p>Each undecoded part that is to be decoded must be fed into
+        function <c>decode_part/2</c> as follows:</p>
       <pre>
-{ok,Part_Message} = 'MyModule':decode_part(Type_Key,Undecoded_Value)      </pre>
+{ok,Part_Message} = 'MyModule':decode_part(Type_Key,Undecoded_Value)</pre>
     </section>
 
     <section>
       <marker id="Exclusive Instruction"></marker>
       <title>Writing an Exclusive Decode Instruction</title>
-      <p>This instruction is written in the configuration file on the
-        format:</p>
+      <p>This instruction is written in the configuration file
+        in the following format:</p>
       <pre>
-
 Exclusive_Decode_Instruction = {exclusive_decode,{Module_Name,Decode_Instructions}}.
 
 Module_Name = atom()
@@ -137,70 +143,76 @@ Element = {Name,parts} |
 
 Top_Type = atom()
 
-Name = atom()
-      </pre>
-      <p>Observe that the instruction must be a valid Erlang term ended
-        by a dot.
+Name = atom()</pre>
+      <p>The instruction must be a valid Erlang term ended by a dot.
         </p>
-      <p>In the <c>Type_List</c> the "path" from the top type to each
-        undecoded sub-components is described. The top type of the path is
+      <p>In <c>Type_List</c> the "path" from the top type to each
+        undecoded subcomponents is described. The top type of the path is
         an atom, the name of it. The action on each component/type that
-        follows will be described by one of <c>{Name,parts}, {Name,undecoded}, {Name,Element_List}</c></p>
-      <p>The use and effect of the actions are:
+        follows is described by one of
+        <c>{Name,parts}, {Name,undecoded}, {Name,Element_List}</c>.</p>
+      <p>The use and effect of the actions are as follows:
         </p>
       <list type="bulleted">
-        <item><c>{Name,undecoded}</c> Tells that the element will be
-         left undecoded during the exclusive decode. The type of Name may
-         be any ASN.1 type. The value of element Name will be returned as a
-         tuple,as mentioned <seealso marker="#UndecodedPart">above</seealso>, in the value structure of the top type.</item>
-        <item><c>{Name,parts}</c> The type of Name may be one of
-         SEQUENCE OF or SET OF. The action implies that the different
-         components of Name will be left undecoded. The value of Name
-         will be returned as a tuple, as <seealso marker="#UndecodedPart">above </seealso>, where the second element is a list of
-         binaries. That is because the representation of a SEQUENCE OF/
-         SET OF in Erlang is a list of its internal type. Any of the
-         elements of this list or the entire list can be decoded by the
-        <c>decode_part</c> function.</item>
-        <item><c>{Name,Element_List}</c>This action is used when one or
-         more of the sub-types of Name will be exclusive decoded.</item>
+        <item><c>{Name,undecoded}</c> - Tells that the element is left
+         undecoded during the exclusive decode. The type of <c>Name</c>
+         can be any ASN.1 type. The value of element <c>Name</c> is
+         returned as a tuple (as mentioned in the previous section) in
+         the value structure of the top type.</item>
+        <item><c>{Name,parts}</c> - The type of <c>Name</c> can be one of
+         <c>SEQUENCE OF</c> or <c>SET OF</c>. The action implies that
+         the different components of <c>Name</c> are left undecoded. The
+         value of <c>Name</c> is returned as a tuple (as mentioned in
+         the previous section) where the second element is a list of
+         binaries. This is because the representation of a <c>SEQUENCE OF</c>
+         or a <c>SET OF</c> in Erlang is a list of its internal type. Any
+         of the elements in this list or the entire list can be decoded by
+         function <c>decode_part</c>.</item>
+        <item><c>{Name,Element_List}</c> - This action is used when one or
+         more of the subtypes of <c>Name</c> is exclusive decoded.</item>
       </list>
-      <p>Name in the actions above may be a component name of a
-        SEQUENCE or a SET or a name of an alternative in a CHOICE.
+      <p><c>Name</c> in these actions can be a component name of a
+        <c>SEQUENCE OF</c> or a <c>SET OF</c>, or a name of an alternative
+         in a <c>CHOICE</c>.
         </p>
     </section>
 
     <section>
       <title>Example</title>
-      <p>In the examples below we use the definitions from the following ASN.1 spec:</p>
+      <p>In this examples, the definitions from the following ASN.1
+        specification are used:</p>
       <marker id="Asn1spec"></marker>
       <codeinclude file="Seq.asn" tag="" type="none"></codeinclude>
-      <p>If <c>Button</c> is a top type and we want to exclude
-        component <c>number</c> from decode the Type_List in the
-        instruction in the configuration file will be
-        <c>['Button',[{number,undecoded}]]</c>. If we call the decode
-        function <c>decode_Button_exclusive</c> the Decode_Instruction
-        will be
+      <p>If <c>Button</c> is a top type and it is needed to exclude
+        component <c>number</c> from decode, <c>Type_List</c> in the
+        instruction in the configuration file is
+        <c>['Button',[{number,undecoded}]]</c>. If you call the decode
+        function <c>decode_Button_exclusive</c>, <c>Decode_Instruction</c> is
         <c>{decode_Button_exclusive,['Button',[{number,undecoded}]]}</c>.
         </p>
-      <p>We also have another top type <c>Window</c> whose sub
-        component actions in type <c>Status</c> and the parts of component
-        <c>buttonList</c> shall be left undecoded. For this type we name
-        the function <c>decode__Window_exclusive</c>. The whole
-        Exclusive_Decode_Instruction configuration is as follows: </p>
+      <p>Another top type is <c>Window</c> whose subcomponent
+        actions in type <c>Status</c> and the parts of component
+        <c>buttonList</c> are to be left undecoded. For this type, the
+        function is named <c>decode__Window_exclusive</c>. The complete
+        <c>Exclusive_Decode_Instruction</c> configuration is as follows:</p>
       <codeinclude file="Seq.asn1config" tag="" type="none"></codeinclude>
+      <p>The following figure shows the bytes of a <c>Window:status</c>
+        message. The components <c>buttonList</c> and <c>actions</c> are
+	excluded from decode. Only <c>state</c> and <c>enabled</c> are decoded
+	when <c>decode__Window_exclusive</c> is called.</p>
       <p></p>
       <image file="exclusive_Win_But.gif">
-        <icaption>Figure symbolizes the bytes of a Window:status message. The components buttonList and actions are excluded from decode. Only state and enabled are decoded when decode__Window_exclusive is called. </icaption>
+        <icaption>Bytes of a Window:status Message</icaption>
       </image>
       <p></p>
-      <p>Compiling GUI.asn including the configuration file is done like:</p>
+      <p>Compiling <c>GUI.asn</c> including the configuration file is done
+        as follows:</p>
       <pre>
-unix> erlc -bber_bin +optimize +asn1config GUI.asn
+unix> erlc -bber +asn1config GUI.asn
 
-erlang> asn1ct:compile('GUI',[ber_bin,optimize,asn1config]).      </pre>
-      <p>The module can be used like:</p>
+erlang> asn1ct:compile('GUI', [ber,asn1config]).</pre>
+      <p>The module can be used as follows:</p>
       <pre>
-
 1> Button_Msg = {'Button',123,true}.
 {'Button',123,true}
 2> {ok,Button_Bytes} = 'GUI':encode('Button',Button_Msg).
@@ -289,35 +301,39 @@ BoolOpt,{Type_Key_Choice,Val_Choice}}}}=
 11> 'GUI':decode_part(Type_Key_SeqOf,hd(Val_SEQOF)).
 {ok,{'Button',3,true}}
 12> 'GUI':decode_part(Type_Key_Choice,Val_Choice).  
-{ok,{possibleActions,[{'Action',16,{'Button',17,true}}]}}
-      </pre>
+{ok,{possibleActions,[{'Action',16,{'Button',17,true}}]}}</pre>
     </section>
   </section>
 
   <section>
     <title>Selective Decode</title>
-    <p>This specialized decode decodes one single subtype of a
-      constructed value. It is the fastest method to extract one sub
-      value. The typical use of this decode is when one want to
-      inspect, for instance a version number,to be able to decide what
+    <p>This specialized decode decodes a subtype of a
+      constructed value and is the fastest method to extract a
+      subvalue. This decode is typically used when you want to
+      inspect, for example, a version number, to be able to decide what
       to do with the entire value. The result is returned as
       <c>{ok,Value}</c> or <c>{error,Reason}</c>.
       </p>
 
     <section>
-      <title>How To Make It Work</title>
-      <p>The following steps are necessary:
+      <title>Procedure</title>
+      <p>To perform a selective decode:
         </p>
       <list type="bulleted">
-        <item>Write instructions in the configuration
-         file. Including the name of a user function, the name of the ASN.1
-         specification and a notation that tells which part of the type
-         will be decoded. </item>
-        <item>Compile with the additional option
-        <c>asn1config</c>. The compiler searches for a configuration file
-         with the same name as the ASN.1 spec but with the extension
-         .asn1config. In the same file you can provide configuration specs
-         for exclusive decode as well. The generated Erlang module has the
+        <item><p><em>Step 1:</em> Include the following instructions in
+	 the configuration file:</p>
+         <list type="bulleted">
+           <item>The name of the user function</item>
+           <item>The name of the ASN.1 specification</item>
+           <item>A notation that tells which part of the type to be
+           decoded</item>
+	 </list></item>
+        <item><em>Step 2:</em> Compile with the additional option
+         <c>asn1config</c>. The compiler searches for a configuration file
+         with the same name as the ASN.1 specification, but with extension
+         <c>.asn1config</c>. In the same file you can also provide
+	 configuration specifications for exclusive decode.
+         The generated Erlang module has the
          usual functionality for encode/decode preserved and the
          specialized decode functionality added. </item>
       </list>
@@ -326,21 +342,20 @@ BoolOpt,{Type_Key_Choice,Val_Choice}}}}=
     <section>
       <title>User Interface</title>
       <p>The only new user interface function is the one provided by the
-        user in the configuration file. You can invoke that function by
+        user in the configuration file. The function is started by
         the <c>ModuleName:FunctionName</c> notation.
         </p>
-      <p>So, if you have the following spec
+      <p>For example, if the configuration file includes the specification
         <c>{selective_decode,{'ModuleName',[{selected_decode_Window,TypeList}]}}</c>
-        in the con-fig file, you do the selective decode by
+        do the selective decode by
         <c>{ok,Result}='ModuleName':selected_decode_Window(EncodedBinary).</c></p>
     </section>
 
     <section>
       <marker id="Selective Instruction"></marker>
       <title>Writing a Selective Decode Instruction</title>
-      <p>It is possible to describe one or many selective decode
-        functions in a configuration file, you have to use the following
-        notation:</p>
+      <p>One or more selective decode functions can be described in a
+        configuration file. Use the following notation:</p>
       <pre>
 Selective_Decode_Instruction = {selective_decode,{Module_Name,Decode_Instructions}}.
 
@@ -358,37 +373,43 @@ Element_List = Name|List_Selector
 
 Name = atom()
 
-List_Selector = [integer()]      </pre>
-      <p>Observe that the instruction must be a valid Erlang term ended
-        by a dot.
-        </p>
-      <p>The <c>Module_Name</c> is the same as the name of the ASN.1
-        spec, but without the extension. A <c>Decode_Instruction</c> is
-        a tuple with your chosen function name and the components from
-        the top type that leads to the single type you want to
-        decode. Notice that you have to choose a name of your function
-        that will not be the same as any of the generated functions. The
-        first element of the <c>Type_List</c> is the top type of the
-        encoded message. In the <c>Element_List</c> it is followed by
-        each of the component names that leads to selected type. Each of
-        the names in the <c>Element_List</c> must be constructed types
-        except the last name, which can be any type.
+List_Selector = [integer()]</pre>
+      <p>The instruction must be a valid Erlang term ended by a dot.
         </p>
-      <p>The List_Selector makes it possible to choose one of the
-        encoded components in a SEQUENCE OF/ SET OF. It is also possible
-        to go further in that component and pick a sub type of that to
-        decode. So in the <c>Type_List</c>: <c>['Window',status,buttonList,[1],number]</c> the
-        component <c>buttonList</c> has to be a SEQUENCE OF or SET OF type. In
-        this example component <c>number</c> of the first of the encoded
-        elements in the SEQUENCE OF <c>buttonList</c> is selected. This apply on
-        the ASN.1 spec <seealso marker="#Asn1spec">above</seealso>.
+      <list type="bulleted">
+        <item><c>Module_Name</c> is the same as the name of the ASN.1
+        specification, but without the extension.</item>
+      <item><c>Decode_Instruction</c> is a tuple with your chosen
+        function name and the components from the top type that leads
+        to the single type you want to decode. Ensure to choose a name
+        of your function that is not the same as any of the generated
+        functions.</item>
+      <item> The first element of <c>Type_List</c> is the top type of the
+        encoded message. In <c>Element_List</c>, it is followed by
+        each of the component names that leads to selected type.</item>
+      <item>Each name in <c>Element_List</c> must be a constructed type
+        except the last name, which can be any type.</item>
+      <item><c>List_Selector</c> makes it possible to choose one of the
+        encoded components in a a <c>SEQUENCE OF</c> or a <c>SET OF</c>.
+        It is also possible to go further in that component and pick a
+        subtype of that to decode. So, in the <c>Type_List</c>:
+        <c>['Window',status,buttonList,[1],number]</c>, component
+        <c>buttonList</c> must be of type <c>SEQUENCE OF</c> or
+        <c>SET OF</c>.</item>
+      </list>
+      <p>In the example, component <c>number</c> of the first of the encoded
+        elements in the <c>SEQUENCE OF</c> <c>buttonList</c> is selected.
+        This applies on the ASN.1 specification in Section
+        <seealso marker="#Asn1spec">Writing an Exclusive Decode
+        Instruction</seealso>.
         </p>
     </section>
 
     <section>
       <title>Another Example</title>
-      <p>In this example we use the same ASN.1 spec as <seealso marker="#Asn1spec">above</seealso>. A valid selective decode
-        instruction is:</p>
+      <p>In this example, the same ASN.1 specification as in Section
+        <seealso marker="#Asn1spec">Writing an Exclusive Decode Instruction</seealso>
+         is used. The following is a valid selective decode instruction:</p>
       <pre>
 {selective_decode,
     {'GUI',
@@ -404,16 +425,17 @@ List_Selector = [integer()]      </pre>
       actions,
       possibleActions,
       [1],
-      handle,number]}]}}.
-      </pre>
-      <p>The first <c>Decode_Instruction</c>,
+      handle,number]}]}}.</pre>
+      <p>The first instruction,
         <c>{selected_decode_Window1,['Window',status,buttonList,[1],number]}</c>
-        is commented in the previous section. The instruction
-        <c>{selected_decode_Action,['Action',handle,number]}</c> picks
-        the component <c>number</c> in the <c>handle</c> component of the type
-        <c>Action</c>. If we have the value <c>ValAction = {'Action',17,{'Button',4711,false}}</c> the internal value 4711
-        should be picked by <c>selected_decode_Action</c>. In an Erlang
-        terminal it looks like:</p>
+        is described in the previous section.</p>
+      <p> The second instruction,
+        <c>{selected_decode_Action,['Action',handle,number]}</c>, takes
+        component <c>number</c> in the <c>handle</c> component of type
+        <c>Action</c>. If the value is
+        <c>ValAction = {'Action',17,{'Button',4711,false}}</c>, the internal
+        value 4711 is to be picked by <c>selected_decode_Action</c>. In an
+        Erlang terminal it looks as follows:</p>
       <pre>
 ValAction = {'Action',17,{'Button',4711,false}}.
 {'Action',17,{'Button',4711,false}}
@@ -423,44 +445,41 @@ ValAction = {'Action',17,{'Button',4711,false}}.
 &lt;&lt;48,18,2,1,17,160,13,172,11,171,9,48,7,128,2,18,103,129,1,0&gt;&gt;
 9> 'GUI':selected_decode_Action(BinBytes).
 {ok,4711}
-10>       </pre>
+10></pre>
       <p>The third instruction,
         <c>['Window',status,actions,possibleActions,[1],handle,number]</c>,
-        which is a little more complicated,</p>
+        works as follows:</p>
       <list type="bulleted">
-        <item>starts with type <em>Window</em>. </item>
-        <item>Picks component <em>status</em> of <c>Window</c> that is
-         of type <c>Status</c>.</item>
-        <item>Then takes component <em>actions</em> of type
+        <item><em>Step 1:</em> Starts with type <c>Window</c>.</item>
+        <item><em>Step 2:</em> Takes component <c>status</c> of <c>Window</c>
+         that is of type <c>Status</c>.</item>
+        <item><em>Step 3:</em> Takes <em>actions</em> of type
         <c>Status</c>.</item>
-        <item>Then <em>possibleActions</em> of the internal defined
-         CHOICE type.</item>
-        <item>Thereafter it goes into the first component of the
-         SEQUENCE OF by <em>[1]</em>. That component is of type
-        <c>Action</c>.</item>
-        <item>The instruction next picks component
-        <em>handle</em>.</item>
-        <item>And finally component <em>number</em> of the type
+        <item><em>Step 4:</em> Takes <c>possibleActions</c> of the internally
+         defined <c>CHOICE</c> type.</item>
+        <item><em>Step 5:</em> Goes into the first component of
+         <c>SEQUENCE OF</c> by <c>[1]</c>. That component is of type
+         <c>Action</c>.</item>
+        <item><em>Step 6:</em> Takes component <c>handle</c>.</item>
+        <item><em>Step 7:</em> Takes component <c>number</c> of type
         <c>Button</c>.</item>
       </list>
-      <p>The following figures shows which components are in the
-        TypeList
-        <c>['Window',status,actions,possibleActions,[1],handle,number]</c>. And
-        which part of a message that will be decoded by
-        selected_decode_Window2.
-        </p>
+      <p>The following figure shows which components are in <c>TypeList</c>
+        <c>['Window',status,actions,possibleActions,[1],handle,number]</c>:</p>
       <p></p>
       <image file="selective_TypeList.gif">
-        <icaption>The elements specified in the config file for selective decode of a sub-value in a Window message</icaption>
+        <icaption>Elements Specified in Configuration File for Selective Decode of a Subvalue in a Window Message</icaption>
       </image>
+      <p>In the following figure, only the marked element is decoded by
+        <c>selected_decode_Window2</c>:</p>
       <p></p>
       <image file="selective_Window2.gif">
-        <icaption>Figure symbolizes the bytes of a Window:status message. Only the marked element is decoded when selected_decode_Window2 is called. </icaption>
+        <icaption>Bytes of a Window:status Message</icaption>
       </image>
-      <p>With the following example you can examine that both
+      <p>With the following example, you can examine that both
         <c>selected_decode_Window2</c> and
-        <c>selected_decode_Window1</c> decodes the intended sub-value
-        of the value <c>Val</c></p>
+        <c>selected_decode_Window1</c> decodes the intended subvalue
+        of value <c>Val</c>:</p>
       <pre>
 1> Val = {'Window',{status,{'Status',12,
                     [{'Button',13,true},
@@ -478,8 +497,8 @@ ValAction = {'Action',17,{'Button',4711,false}}.
 4> 'GUI':selected_decode_Window1(Bin).
 {ok,13}
 5> 'GUI':selected_decode_Window2(Bin).
-{ok,18}      </pre>
-      <p>Observe that the value feed into the selective decode
+{ok,18}</pre>
+      <p>Notice that the value fed into the selective decode
         functions must be a binary.
         </p>
     </section>
@@ -489,19 +508,19 @@ ValAction = {'Action',17,{'Button',4711,false}}.
     <title>Performance</title>
     <p>To give an indication on the possible performance gain using
       the specialized decodes, some measures have been performed. The
-      relative figures in the outcome between selective, exclusive and
-      complete decode (the normal case) depends on the structure of
-      the type, the size of the message and on what level the
+      relative figures in the outcome between selective, exclusive, and
+      complete decode (the normal case) depend on the structure of
+      the type, the size of the message, and on what level the
       selective and exclusive decodes are specified.
       </p>
 
     <section>
-      <title>ASN.1 Specifications, Messages and Configuration</title>
-      <p>The specs <seealso marker="#Asn1spec">GUI</seealso> and
+      <title>ASN.1 Specifications, Messages, and Configuration</title>
+      <p>The specifications <seealso marker="#Asn1spec">GUI</seealso> and
         <url href="http://www.itu.int/ITU-T/asn1/database/itu-t/h/h248/2002/MEDIA-GATEWAY-CONTROL.html">MEDIA-GATEWAY-CONTROL</url>
-        was used in the test.
+        were used in the test.
         </p>
-      <p>For the GUI spec the configuration looked like:</p>
+      <p>For the <c>GUI</c> specification the configuration was as follows:</p>
       <pre>
 {selective_decode,
   {'GUI',
@@ -523,9 +542,8 @@ ValAction = {'Action',17,{'Button',4711,false}}.
                 ['Window',
                  [{status,
                      [{buttonList,parts},
-                      {actions,undecoded}]}]]}]}}.
-      </pre>
-      <p>The MEDIA-GATEWAY-CONTROL configuration was:</p>
+                      {actions,undecoded}]}]]}]}}.</pre>
+      <p>The <c>MEDIA-GATEWAY-CONTROL</c> configuration was as follows:</p>
       <pre>
 {exclusive_decode,
   {'MEDIA-GATEWAY-CONTROL',
@@ -538,9 +556,8 @@ ValAction = {'Action',17,{'Button',4711,false}}.
 {selective_decode,
   {'MEDIA-GATEWAY-CONTROL',
     [{decode_MegacoMessage_selective,
-         ['MegacoMessage',mess,version]}]}}.
-      </pre>
-      <p>The corresponding values were:</p>
+         ['MegacoMessage',mess,version]}]}}.</pre>
+      <p>The corresponding values were as follows:</p>
       <pre>
 {'Window',{status,{'Status',12,
               [{'Button',13,true},
@@ -649,177 +666,178 @@ ValAction = {'Action',17,{'Button',4711,false}}.
                 {'StatisticsParameter',[0,11,0,3],[[52,53,49,48,48]]},
                 {'StatisticsParameter',[0,12,0,6],[[48,46,50]]},
                 {'StatisticsParameter',[0,12,0,7],[[50,48]]},
-                {'StatisticsParameter',[0,12,0,8],[[52,48]]}]}]}}}]}]}}}]}}}      
-      </pre>
-      <p>The size of the encoded values was 458 bytes for GUI and 464
-        bytes for MEDIA-GATEWAY-CONTROL.
+                {'StatisticsParameter',[0,12,0,8],[[52,48]]}]}]}}}]}]}}}]}}}</pre>
+      <p>The size of the encoded values was 458 bytes for <c>GUI</c> and 464
+        bytes for <c>MEDIA-GATEWAY-CONTROL</c>.
         </p>
     </section>
 
     <section>
       <title>Results</title>
-      <p>The ASN.1 specs in the test are compiled with the options
-        <c>ber_bin, optimize, driver</c> and <c>asn1config</c>. If the
-        <c>driver</c> option had been omitted there should have been
+      <p>The ASN.1 specifications in the test were compiled with options
+        <c>ber_bin, optimize, driver</c> and <c>asn1config</c>. Omitting
+        option <c>driver</c> gives
         higher values for <c>decode</c> and <c>decode_part</c>. These tests have
-	not been re-run using nifs, but are expected to perform about 5% better
+	not been rerun using NIFs, but are expected to perform about 5% better
 	than the linked-in driver.
         </p>
       <p>The test program runs 10000 decodes on the value, resulting
-        in a printout with the elapsed time in microseconds for the
+        in an output with the elapsed time in microseconds for the
         total number of decodes.
         </p>
       <table>
         <row>
           <cell align="left" valign="top"><em>Function</em></cell>
-          <cell align="left" valign="top"><em>Time</em>(microseconds)</cell>
-          <cell align="left" valign="top"><em>Kind of Decode</em></cell>
-          <cell align="left" valign="top"><em>ASN.1 spec</em></cell>
-          <cell align="left" valign="top"><em>% of time vs. complete decode</em></cell>
+          <cell align="left" valign="top"><em>Time</em> (microseconds)</cell>
+          <cell align="left" valign="top"><em>Decode Type</em></cell>
+          <cell align="left" valign="top"><em>ASN.1 Specification</em></cell>
+          <cell align="left" valign="top"><em>% of Time versus Complete Decode</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>decode_MegacoMessage_selective/1</c></cell>
           <cell align="left" valign="middle"><c>374045</c></cell>
-          <cell align="left" valign="middle"><c>selective</c></cell>
+          <cell align="left" valign="middle"><c>Selective</c></cell>
           <cell align="left" valign="middle"><c>MEDIA-GATEWAY-CONTROL</c></cell>
           <cell align="left" valign="middle"><em>8.3</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>decode_MegacoMessage_exclusive/1</c></cell>
           <cell align="left" valign="middle"><c>621107</c></cell>
-          <cell align="left" valign="middle"><c>exclusive</c></cell>
+          <cell align="left" valign="middle"><c>Exclusive</c></cell>
           <cell align="left" valign="middle"><c>MEDIA-GATEWAY-CONTROL</c></cell>
           <cell align="left" valign="middle"><em>13.8</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>decode/2</c></cell>
           <cell align="left" valign="middle"><c>4507457</c></cell>
-          <cell align="left" valign="middle"><c>complete</c></cell>
+          <cell align="left" valign="middle"><c>Complete</c></cell>
           <cell align="left" valign="middle"><c>MEDIA-GATEWAY-CONTROL</c></cell>
           <cell align="left" valign="middle"><em>100</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>selected_decode_Window1/1</c></cell>
           <cell align="left" valign="middle"><c>449585</c></cell>
-          <cell align="left" valign="middle"><c>selective</c></cell>
+          <cell align="left" valign="middle"><c>Selective</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>7.6</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>selected_decode_Window2/1</c></cell>
           <cell align="left" valign="middle"><c>890666</c></cell>
-          <cell align="left" valign="middle"><c>selective</c></cell>
+          <cell align="left" valign="middle"><c>Selective</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>15.1</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>decode_Window_status_exclusive/1</c></cell>
           <cell align="left" valign="middle"><c>1251878</c></cell>
-          <cell align="left" valign="middle"><c>exclusive</c></cell>
+          <cell align="left" valign="middle"><c>Exclusive</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>21.3</em></cell>
         </row>
         <row>
           <cell align="left" valign="middle"><c>decode/2</c></cell>
           <cell align="left" valign="middle"><c>5889197</c></cell>
-          <cell align="left" valign="middle"><c>complete</c></cell>
+          <cell align="left" valign="middle"><c>Complete</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>100</em></cell>
         </row>
-        <tcaption>Results of complete, exclusive and selective decode</tcaption>
+        <tcaption>Results of Complete, Exclusive, and Selective Decode</tcaption>
       </table>
-      <p>Another interesting question is what the relation is between
+      <p>It is also of interest to know the relation is between
         a complete decode, an exclusive decode followed by
-        <c>decode_part</c> of the excluded parts and a selective decode
-        followed by a complete decode. Some situations may be compared to
-        this simulation, e.g. inspect a sub-value and later on look at
+        <c>decode_part</c> of the excluded parts, and a selective decode
+        followed by a complete decode. Some situations can be compared to
+        this simulation, for example, inspect a subvalue and later inspect
         the entire value. The following table shows figures from this
-        test. The number of loops and time unit is the same as in the
+        test. The number of loops and the time unit are the same as in the
         previous test.
         </p>
       <table>
         <row>
           <cell align="left" valign="top"><em>Actions</em></cell>
           <cell align="left" valign="top"><em>Function</em>&nbsp;&nbsp;&nbsp;&nbsp;</cell>
-          <cell align="left" valign="top"><em>Time</em>(microseconds)</cell>
-          <cell align="left" valign="top"><em>ASN.1 spec</em></cell>
-          <cell align="left" valign="top"><em>% of time vs. complete decode</em></cell>
+          <cell align="left" valign="top"><em>Time</em> (microseconds)</cell>
+          <cell align="left" valign="top"><em>ASN.1 Specification</em></cell>
+          <cell align="left" valign="top"><em>% of Time vs. Complete Decode</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>complete</c></cell>
+          <cell align="left" valign="middle"><c>Complete</c></cell>
           <cell align="left" valign="middle"><c>decode/2</c></cell>
           <cell align="left" valign="middle"><c>4507457</c></cell>
           <cell align="left" valign="middle"><c>MEDIA-GATEWAY-CONTROL</c></cell>
           <cell align="left" valign="middle"><em>100</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>selective and complete</c></cell>
+          <cell align="left" valign="middle"><c>Selective and Complete</c></cell>
           <cell align="left" valign="middle"><c>decode_&shy;MegacoMessage_&shy;selective/1</c></cell>
           <cell align="left" valign="middle"><c>4881502</c></cell>
           <cell align="left" valign="middle"><c>MEDIA-GATEWAY-CONTROL</c></cell>
           <cell align="left" valign="middle"><em>108.3</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>exclusive and decode_part</c></cell>
+          <cell align="left" valign="middle"><c>Exclusive and decode_part</c></cell>
           <cell align="left" valign="middle"><c>decode_&shy;MegacoMessage_&shy;exclusive/1</c></cell>
           <cell align="left" valign="middle"><c>5481034</c></cell>
           <cell align="left" valign="middle"><c>MEDIA-GATEWAY-CONTROL</c></cell>
           <cell align="left" valign="middle"><em>112.3</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>complete</c></cell>
+          <cell align="left" valign="middle"><c>Complete</c></cell>
           <cell align="left" valign="middle"><c>decode/2</c></cell>
           <cell align="left" valign="middle"><c>5889197</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>100</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>selective and complete</c></cell>
+          <cell align="left" valign="middle"><c>Selective and Complete</c></cell>
           <cell align="left" valign="middle"><c>selected_&shy;decode_&shy;Window1/1</c></cell>
           <cell align="left" valign="middle"><c>6337636</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>107.6</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>selective and complete</c></cell>
+          <cell align="left" valign="middle"><c>Selective and Complete</c></cell>
           <cell align="left" valign="middle"><c>selected_&shy;decode_&shy;Window2/1</c></cell>
           <cell align="left" valign="middle"><c>6795319</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>115.4</em></cell>
         </row>
         <row>
-          <cell align="left" valign="middle"><c>exclusive and decode_part</c></cell>
+          <cell align="left" valign="middle"><c>Exclusive and decode_part</c></cell>
           <cell align="left" valign="middle"><c>decode_&shy;Window_&shy;status_&shy;exclusive/1</c></cell>
           <cell align="left" valign="middle"><c>6249200</c></cell>
           <cell align="left" valign="middle"><c>GUI</c></cell>
           <cell align="left" valign="middle"><em>106.1</em></cell>
         </row>
-        <tcaption>Results of complete, exclusive + decode_part and selective + complete decodes</tcaption>
+        <tcaption>Results of Complete, Exclusive + decode_part, and Selective + complete decodes</tcaption>
       </table>
       <p>Other ASN.1 types and values can differ much from these
-        figures. Therefore it is important that you, in every case where
+        figures. It is therefore important that you, in every case where
         you intend to use either of these decodes, perform some tests
-        that shows if you will benefit your purpose.
+        that show if you will benefit your purpose.
         </p>
     </section>
 
     <section>
-      <title>Comments</title>
-      <p>Generally speaking the gain of selective and exclusive decode
-        in advance of complete decode is greater the bigger value and the
-        less deep in the structure you have to decode. One should also
-        prefer selective decode instead of exclusive decode if you are
-        interested in just one single sub-value.</p>
-      <p>Another observation is that the exclusive decode followed by
-        decode_part decodes is very attractive if the parts will be sent
-        to different servers for decoding or if one in some cases not is
-        interested in all parts.</p>
-      <p>The fastest selective decode are when the decoded type is a
+      <title>Final Remarks</title>
+      <list type="bulleted">
+      <item>The gain of using selective and exclusive decode instead of a
+        complete decode is greater the bigger the value and the
+        less deep in the structure you have to decode.</item>
+      <item>Use selective decode instead of exclusive decode if you are
+        interested in only a single subvalue.</item>
+      <item>Exclusive decode followed by
+        <c>decode_part</c> decodes is attractive if the parts are sent
+        to different servers for decoding, or if you in some cases are not
+        interested in all parts.</item>
+      <item>The fastest selective decode is when the decoded type is a
         primitive type and not so deep in the structure of the top
-        type. The <c>selected_decode_Window2</c> decodes a big constructed
-        value, which explains why this operation is relatively slow.</p>
-      <p>It may vary from case to case which combination of
-        selective/complete decode or exclusive/part decode is the fastest.</p>
+        type. <c>selected_decode_Window2</c> decodes a high constructed
+        value, which explains why this operation is relatively slow.</item>
+      <item>It can vary from case to case which combination of
+        selective/complete decode or exclusive/part decode is the fastest.</item>
+      </list>
     </section>
   </section>
 </chapter>
diff --git a/lib/asn1/doc/src/asn1_ug.xml b/lib/asn1/doc/src/asn1_ug.xml
deleted file mode 100644
index 8b33497dd3..0000000000
--- a/lib/asn1/doc/src/asn1_ug.xml
+++ /dev/null
@@ -1,1417 +0,0 @@
-<?xml version="1.0" encoding="utf-8" ?>
-<!DOCTYPE chapter SYSTEM "chapter.dtd">
-
-<chapter>
-  <header>
-    <copyright>
-      <year>1997</year><year>2013</year>
-      <holder>Ericsson AB. All Rights Reserved.</holder>
-    </copyright>
-    <legalnotice>
-      The contents of this file are subject to the Erlang Public License,
-      Version 1.1, (the "License"); you may not use this file except in
-      compliance with the License. You should have received a copy of the
-      Erlang Public License along with this software. If not, it can be
-      retrieved online at http://www.erlang.org/.
-    
-      Software distributed under the License is distributed on an "AS IS"
-      basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
-      the License for the specific language governing rights and limitations
-      under the License.
-    
-    </legalnotice>
-
-    <title>Asn1</title>
-    <prepared>Kenneth Lundin</prepared>
-    <docno></docno>
-    <date>1999-03-25</date>
-    <rev>D</rev>
-    <file>asn1_ug.xml</file>
-  </header>
-
-  <section>
-    <title>Introduction</title>
-
-    <section>
-      <title>Features</title>
-      <p>The Asn1 application provides:</p>
-      <list type="bulleted">
-        <item>An ASN.1 compiler for Erlang, which generates encode and
-         decode functions to be used by Erlang programs sending and
-         receiving ASN.1 specified data.</item>
-        <item>Run-time functions used by the generated code.</item>
-        <item>Support for the following encoding rules:
-	<list>
-	  <item>
-	    Basic Encoding Rules (<em>BER</em>)
-	  </item>
-	  <item>
-	    Distinguished Encoding Rules (<em>DER</em>), a specialized
-	    form of BER that is used in security-conscious
-	    applications.
-	  </item>
-	  <item>
-	    Packed Encoding Rules (<em>PER</em>); both the aligned and
-	    unaligned variant.
-	  </item>
-	  </list>
-	</item>
-      </list>
-    </section>
-
-    <section>
-      <title>Overview</title>
-      <p>ASN.1 (Abstract Syntax Notation One) is a formal language for
-      describing data structures to be exchanged between distributed
-      computer systems. The purpose of ASN.1 is to have a platform
-      and programming language independent notation to express types
-      using a standardized set of rules for the transformation of
-      values of a defined type into a stream of bytes. This stream of
-      bytes can then be sent on any type of communication
-      channel. This way, two applications written in different
-      programming languages running on different computers with
-      different internal representation of data can exchange instances
-      of structured data types.</p>
-    </section>
-
-    <section>
-      <title>Prerequisites</title>
-      <p>It is assumed that the reader is familiar with the ASN.1
-      notation as documented in the standard definition [<cite
-      id="X.680"></cite>] which is the primary text. It may also be
-      helpful, but not necessary, to read the standard definitions
-      [<cite id="X.681"></cite>] [<cite id="X.682"></cite>] [<cite
-      id="X.683"></cite>] [<cite id="X.690"></cite>] [<cite
-      id="X.691"></cite>]. </p>
-      <p>A good book explaining those reference texts is
-        [<cite id="DUBUISSON"></cite>], which is free to download at
-        <url href="http://www.oss.com/asn1/dubuisson.html">http://www.oss.com/asn1/dubuisson.html</url>.
-        </p>
-    </section>
-
-    <section>
-      <title>Capabilities</title>
-      <p>This application covers all features of ASN.1 up to the 1997
-      edition of the specification. In the 2002 edition of ASN.1 a
-      number of new features were introduced.  The following features
-      of the 2002 edition are fully or partly supported as shown
-      below:</p>
-      <list type="bulleted">
-	<item>
-	  <p>Decimal notation (e.g., "1.5e3") for REAL values. The
-	  NR1, NR2 and NR3 formats as explained in ISO6093 are
-	  supported.</p>
-	</item>
-	<item>
-	  <p>The RELATIVE-OID type for relative object identifiers is
-	  fully supported.</p>
-	</item>
-	<item>
-	  <p>The subtype constraint (CONTAINING/ENCODED BY) to
-	  constrain the content of an octet string or a bit string is
-	  parsed when compiling, but no further action is taken. This
-	  constraint is not a PER-visible constraint.</p>
-	</item>
-	<item>
-	  <p>The subtype constraint by regular expressions (PATTERN)
-	  for character string types is parsed when compiling, but no
-	  further action is taken. This constraint is not a
-	  PER-visible constraint.</p>
-	</item>
-	<item>
-	  <p>Multiple-line comments as in C, <c>/* ... */</c>, are
-	  supported.</p>
-	</item>
-      </list>
-    </section>
-
-  </section>
-
-  <section>
-    <title>Getting Started with Asn1</title>
-
-    <section>
-      <title>A First Example</title>
-      <p>The following example demonstrates the basic functionality used to run 
-        the Erlang ASN.1 compiler.</p>
-      <p>Create a file called <c>People.asn</c> containing the following:</p>
-      <pre>
-People DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-  Person ::= SEQUENCE {
-    name PrintableString,
-    location INTEGER {home(0),field(1),roving(2)},
-    age INTEGER OPTIONAL
-  }
-END      </pre>
-      <p>This file (<c>People.asn</c>) must be compiled before it can be
-        used. 
-        The ASN.1 compiler checks that the syntax is correct and that the 
-        text represents proper ASN.1 code before generating an abstract
-        syntax tree. The code-generator then uses the abstract syntax 
-        tree in order to generate code.
-        </p>
-      <p>The generated Erlang  files will be placed in the current directory or
-        in the directory specified with the <c>{outdir,Dir}</c> option.
-        The following shows how the compiler
-        can be called from the  Erlang shell:</p>
-      <pre>
-1><input> asn1ct:compile("People", [ber]).</input>
-ok
-2>      </pre>
-
-      <p>The <c>verbose</c> option can be given to have information
-      about the generated files printed:</p>
-      <pre>
-2><input> asn1ct:compile("People", [ber,verbose]).</input>
-Erlang ASN.1 compiling "People.asn" 
---{generated,"People.asn1db"}--
---{generated,"People.hrl"}--
---{generated,"People.erl"}--
-ok
-3>      </pre>
-
-      <p>The ASN.1 module <c>People</c> is now accepted and the
-      abstract syntax tree is saved in the <c>People.asn1db</c> file;
-      the generated Erlang code is compiled using the Erlang compiler
-      and loaded into the Erlang run-time system. Now there is an API
-      for <c>encode/2</c> and <c>decode/2</c> in the module
-      <c>People</c>, which is invoked by: <br></br>
-      <c><![CDATA['People':encode(<Type name>, <Value>)]]></c>
-      <br></br>
-        or        <br></br>
-<c><![CDATA['People':decode(<Type name>, <Value>)]]></c></p>
-
-      <p>Assume there is a network
-        application which receives instances of the  ASN.1 defined
-        type Person,  modifies and sends them back again:</p>
-      <code type="none">
-receive
-   {Port,{data,Bytes}} ->
-       case 'People':decode('Person',Bytes) of
-           {ok,P} ->
-               {ok,Answer} = 'People':encode('Person',mk_answer(P)),
-               Port ! {self(),{command,Answer}};
-           {error,Reason} ->
-               exit({error,Reason})
-       end
-    end,      </code>
-      <p>In the example above, a  series of bytes is received from an
-        external source and the bytes are then decoded into a valid
-        Erlang term. This was achieved with the call
-        <c>'People':decode('Person',Bytes)</c> which   returned
-        an Erlang value of the ASN.1 type <c>Person</c>.  Then an answer was
-        constructed  and encoded using
-        <c>'People':encode('Person',Answer)</c> which takes an
-        instance of a defined ASN.1 type and transforms it to a
-        binary according to the BER or PER encoding rules.
-                <br></br>
-The encoder and the decoder can also be run from
-        the shell.</p>
-      <pre>
-2> <input>Rockstar = {'Person',"Some Name",roving,50}.</input>
-{'Person',"Some Name",roving,50}
-3> <input>{ok,Bin} = 'People':encode('Person',Rockstar).</input>
-{ok,&lt;&lt;243,17,19,9,83,111,109,101,32,78,97,109,101,2,1,2,
-      2,1,50&gt;&gt;}
-4> <input>{ok,Person} = 'People':decode('Person',Bin).</input>
-{ok,{'Person',"Some Name",roving,50}}
-5>      </pre>
-    </section>
-
-    <section>
-      <title>Module dependencies</title>
-      <p>It is common that ASN.1 modules import defined types, values and
-        other entities from another ASN.1 module.</p>
-      <p>Earlier versions of the ASN.1 compiler required that modules that
-        were imported from had to be compiled before the module that
-        imported. This caused problems when ASN.1 modules had circular
-        dependencies.</p>
-      <p>Referenced modules are now parsed when the compiler finds an
-        entity that is imported. There will not be any code generated for
-        the referenced module. However, the compiled module rely on
-        that the referenced modules also will be compiled.</p>
-    </section>
-  </section>
-
-  <section>
-    <title>The Asn1 Application User Interface</title>
-    <p>The Asn1 application provides two separate user interfaces:</p>
-    <list type="bulleted">
-      <item>
-        <p>The module <c>asn1ct</c> which provides the compile-time functions 
-          (including the compiler).</p>
-      </item>
-      <item>
-        <p>The module <c>asn1rt_nif</c> which provides the run-time functions
-	for the ASN.1 decoder for the BER back-end.</p>
-      </item>
-    </list>
-    <p>The reason for the division  of the interface into  compile-time 
-      and  run-time 
-      is that only run-time modules (<c>asn1rt*</c>) need to be loaded in
-      an embedded system. 
-      </p>
-
-    <section>
-      <title>Compile-time Functions</title>
-      <p>The ASN.1 compiler can be invoked directly from the command-line
-        by means of the <c>erlc</c> program. This is convenient when compiling
-        many ASN.1 files from the command-line or when using Makefiles.
-        Here are some examples of how the <c>erlc</c> command can be used to invoke the
-        ASN.1 compiler:</p>
-      <pre>
-erlc Person.asn
-erlc -bper Person.asn
-erlc -bber ../Example.asn
-erlc -o ../asnfiles -I ../asnfiles -I /usr/local/standards/asn1 Person.asn      </pre>
-      <p>The useful options for the ASN.1 compiler are:</p>
-      <taglist>
-        <tag><c>-b[ber | per | uper]</c></tag>
-        <item>
-          <p>Choice of encoding rules, if omitted <c>ber</c> is the
-          default.</p>
-        </item>
-        <tag><c>-o OutDirectory</c></tag>
-        <item>
-          <p>Where to put the generated files, default is the current
-            directory.</p>
-        </item>
-        <tag><c>-I IncludeDir</c></tag>
-        <item>
-          <p>Where to search for <c>.asn1db</c> files and ASN.1
-            source specs in order to resolve references to other
-            modules. This option can be repeated many times if there
-            are several places to search in.  The compiler will always
-            search the current directory first.</p>
-        </item>
-        <tag><c>+der</c></tag>
-        <item>
-          <p>DER encoding rule. Only when using <c>-ber</c> option.</p>
-        </item>
-        <tag><c>+asn1config</c></tag>
-        <item>
-          <p>This functionality works together with the
-            <c>ber</c> option. It enables the
-            specialized decodes, see the <seealso marker="asn1_spec">Specialized Decode</seealso> chapter.
-            </p>
-        </item>
-        <tag><c>+undec_rest</c></tag>
-        <item>
-          <p>A buffer that holds a message being decoded may also have
-          trailing bytes. If those trailing bytes are important they
-          can be returned along with the decoded value by compiling
-          the ASN.1 specification with the <c>+undec_rest</c> option.
-          The return value from the decoder will be
-          <c>{ok,Value,Rest}</c> where <c>Rest</c> is a binary
-          containing the trailing bytes.</p>
-        </item>
-        <tag><c>+'Any Erlc Option'</c></tag>
-        <item>
-          <p>You may add any option to the Erlang compiler when
-            compiling the generated Erlang files. Any option
-            unrecognized by the ASN.1 compiler will be passed to the
-            Erlang compiler.</p>
-        </item>
-      </taglist>
-      <p>For a complete description of <c>erlc</c> see Erts Reference Manual.</p>
-      <p>The compiler and other compile-time functions can also be invoked from 
-        the Erlang shell. Below follows a brief
-        description of the primary functions, for a
-        complete description of each function see 
-        <seealso marker="asn1ct">the Asn1 Reference Manual</seealso>, the
-        <c>asn1ct</c> module.</p>
-      <p>The compiler is invoked by using <c>asn1ct:compile/1</c> with
-        default options, or <c>asn1ct:compile/2</c> if explicit options
-        are given.
-        Example:</p>
-      <pre>
-asn1ct:compile("H323-MESSAGES.asn1").      </pre>
-      <p>which equals:</p>
-      <pre>
-asn1ct:compile("H323-MESSAGES.asn1",[ber]).      </pre>
-      <p>If one wants PER encoding:</p>
-      <pre>
-asn1ct:compile("H323-MESSAGES.asn1",[per]).      </pre>
-      <p>The generic encode and decode functions can be invoked like this:</p>
-      <pre>
-'H323-MESSAGES':encode('SomeChoiceType',{call,"octetstring"}).
-'H323-MESSAGES':decode('SomeChoiceType',Bytes).      </pre>
-    </section>
-
-    <section>
-      <title>Run-time Functions</title>
-      <p>When an ASN.1 specification is compiled with the <c>ber</c>
-      option, the module <c>asn1rt_nif</c> module and the NIF library in
-      <c>asn1/priv_dir</c> will be needed at run-time.</p>
-      <p>By invoking the function <c>info/0</c> in a generated module, one
-        gets information about which compiler options were used.</p>
-    </section>
-
-    <section>
-      <title>Errors</title>
-      <p>Errors detected at
-        compile time appear on the screen together with
-        a line number indicating where in the source file the error 
-        was detected. If no errors are found, an Erlang ASN.1 module will
-        be created.</p>
-      <p>The run-time encoders and decoders execute within a catch and
-      returns <c>{ok, Data}</c> or
-        <c>{error, {asn1, Description}}</c> where
-        <c>Description</c> is
-        an Erlang term describing the error. </p>
-    </section>
-  </section>
-
-  <section>
-    <marker id="inlineExamples"></marker>
-    <title>Multi-file Compilation</title>
-    <p>There are various reasons for using multi-file compilation:</p>
-    <list type="bulleted">
-      <item>You want to choose the name for the generated module,
-      perhaps because you need to compile the same specs for
-      different encoding rules.</item>
-      <item>You want only one resulting module.</item>
-    </list>
-    <p>You need to specify which ASN.1 specs you will
-      compile in a module that must have the extension
-      <c>.set.asn</c>. You chose name of the module and provide the
-      names of the ASN.1 specs. For instance, if you have the specs
-      <c>File1.asn</c>, <c>File2.asn</c> and <c>File3.asn</c> your
-      module <c>MyModule.set.asn</c> will look like:</p>
-    <pre>
-File1.asn
-File2.asn
-File3.asn    </pre>
-    <p>If you compile with:</p>
-    <code type="none">
-~> erlc MyModule.set.asn    </code>
-    <p>the result will be one merged module <c>MyModule.erl</c> with
-      the generated code from the three ASN.1 specs.
-      </p>
-  </section>
-
-  <section>
-    <title>A quick note about tags</title>
-
-    <p>Tags used to be important for all users of ASN.1, because it
-    was necessary to manually add tags to certain constructs in order
-    for the ASN.1 specification to be valid. Here is an example of
-    an old-style specification:</p>
-
-    <pre>
-Tags DEFINITIONS ::=
-BEGIN
-  Afters ::= CHOICE { cheese [0] IA5String,
-                      dessert [1] IA5String }
-END </pre>
-
-    <p>Without the tags (the numbers in square brackets) the ASN.1
-    compiler would refuse to compile the file.</p>
-
-    <p>In 1994 the global tagging mode AUTOMATIC TAGS was introduced.
-    By putting AUTOMATIC TAGS in the module header, the ASN.1 compiler
-    will automatically add tags when needed. Here is the same
-    specification in AUTOMATIC TAGS mode:</p>
-
-    <pre>
-Tags DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-  Afters ::= CHOICE { cheese IA5String,
-                      dessert IA5String }
-END
-</pre>
-
-    <p>Tags will not be mentioned any more in this manual.</p>
-  </section>
-
-  <section>
-    <marker id="ASN1Types"></marker>
-    <title>The ASN.1 Types</title>
-    <p>This section describes the ASN.1 types including their
-      functionality, purpose and how values are assigned in Erlang.
-      </p>
-    <p>ASN.1 has both primitive and constructed types:</p>
-    <p></p>
-    <table>
-      <row>
-        <cell align="left" valign="middle"><em>Primitive types</em></cell>
-        <cell align="left" valign="middle"><em>Constructed types</em></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#BOOLEAN">BOOLEAN</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#SEQUENCE">SEQUENCE</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#INTEGER">INTEGER</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#SET">SET</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#REAL">REAL</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#CHOICE">CHOICE</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#NULL">NULL</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#SOF">SET OF and SEQUENCE OF</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#ENUMERATED">ENUMERATED</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#ANY">ANY</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#BIT STRING">BIT STRING</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#ANY">ANY DEFINED BY</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#OCTET STRING">OCTET STRING</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#NegotiationTypes">EXTERNAL</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#Character Strings">Character Strings</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#NegotiationTypes">EMBEDDED PDV</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#OBJECT IDENTIFIER">OBJECT IDENTIFIER</seealso></cell>
-        <cell align="left" valign="middle"><seealso marker="#NegotiationTypes">CHARACTER STRING</seealso></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#Object Descriptor">Object Descriptor</seealso></cell>
-        <cell align="left" valign="middle"></cell>
-      </row>
-      <row>
-        <cell align="left" valign="middle"><seealso marker="#The TIME types">The TIME types</seealso></cell>
-        <cell align="left" valign="middle"></cell>
-      </row>
-      <tcaption>The supported ASN.1 types</tcaption>
-    </table>
-    <marker id="TypeNameValue"></marker>
-    <note>
-      <p>Values of each ASN.1 type has its own representation in Erlang
-        described in the following subsections. Users shall provide
-        these values for encoding according to the representation, as
-        in the example below.</p>
-    </note>
-    <pre>
-Operational ::= BOOLEAN --ASN.1 definition    </pre>
-    <p>In Erlang code it may look like:</p>
-    <pre>
-Val = true,
-{ok,Bytes} = MyModule:encode('Operational', Val),    </pre>
-    <p>Below follows a description of how
-      values of each type can be represented in Erlang. 
-      </p>
-
-    <section>
-      <marker id="BOOLEAN"></marker>
-      <title>BOOLEAN</title>
-      <p>Booleans in ASN.1  express values that can be either 
-        TRUE or FALSE.
-        The meanings assigned to TRUE or FALSE is beyond the scope 
-        of this text.          <br></br>
-
-        In ASN.1 it is possible to have:</p>
-      <pre>
-Operational ::= BOOLEAN
-      </pre>
-      <p>Assigning a value to the type Operational in Erlang is possible by 
-        using the following Erlang code:</p>
-      <code type="erl">
-Myvar1 = true,
-      </code>
-      <p>Thus, in Erlang the atoms <c>true</c> and <c>false</c> are used
-        to encode a boolean value.</p>
-    </section>
-
-    <section>
-      <marker id="INTEGER"></marker>
-      <title>INTEGER</title>
-      <p>ASN.1 itself specifies indefinitely large integers, and the Erlang 
-        systems with versions 4.3 and higher, support very large 
-        integers, in practice indefinitely large integers.</p>
-      <p>The concept of sub-typing can be applied to integers as well
-        as to  other ASN.1 types. The details of sub-typing are not
-        explained here, for further info see  [<cite id="X.680"></cite>]. A variety 
-        of syntaxes are allowed when defining a  type as an integer:</p>
-      <pre>
-T1 ::= INTEGER
-T2 ::= INTEGER (-2..7)
-T3 ::= INTEGER (0..MAX)
-T4 ::= INTEGER (0&lt;..MAX)
-T5 ::= INTEGER (MIN&lt;..-99)
-T6 ::= INTEGER {red(0),blue(1),white(2)}
-      </pre>
-      <p>The Erlang representation of an ASN.1 INTEGER is an integer or
-        an atom if a so called <c>Named Number List</c> (see T6 above)
-        is specified.</p>
-      <p>Below is an example of Erlang code which assigns values for the
-        above types: </p>
-      <pre>
-T1value = 0,
-T2value = 6,
-T6value1 = blue,
-T6value2 = 0,
-T6value3 = white
-      </pre>
-      <p>The Erlang variables above are now bound to valid instances of
-        ASN.1 defined types. This style of value can be passed directly 
-        to the encoder for transformation into a series of bytes.</p>
-      <p>The decoder will return an atom if the value corresponds to a
-        symbol in the Named Number List.</p>
-    </section>
-
-    <section>
-      <marker id="REAL"></marker>
-      <title>REAL</title>
-      <p>The following ASN.1 type is used for real numbers:</p>
-      <pre>
-R1 ::= REAL
-      </pre>
-      <p>It can be assigned a value in Erlang as:</p>
-      <pre>
-R1value1 = "2.14",
-R1value2 = {256,10,-2},
-      </pre>
-      <p>In the last line note that the tuple {256,10,-2} is the real number
-        2.56 in a special notation, which will encode faster than simply 
-        stating the number as <c>"2.56"</c>. The arity three tuple is
-        <c>{Mantissa,Base,Exponent}</c> i.e. Mantissa * Base^Exponent.</p>
-    </section>
-
-    <section>
-      <marker id="NULL"></marker>
-      <title>NULL</title>
-      <p>Null is suitable in cases where supply and recognition of a value 
-        is important but the actual value is not.</p>
-      <pre>
-Notype ::= NULL
-      </pre>
-      <p>The NULL type can be assigned in Erlang:</p>
-      <pre>
-N1 = 'NULL',
-      </pre>
-      <p>The actual value is the quoted atom 'NULL'.</p>
-    </section>
-
-    <section>
-      <marker id="ENUMERATED"></marker>
-      <title>ENUMERATED</title>
-      <p>The enumerated type can be used, when the value we wish to 
-        describe, may only take one of a set of predefined values.</p>
-      <pre>
-DaysOfTheWeek ::= ENUMERATED { 
-    sunday(1),monday(2),tuesday(3),
-    wednesday(4),thursday(5),friday(6),saturday(7) }
-      </pre>
-      <p>For example to assign a weekday value in Erlang use the same atom
-        as in the <c>Enumerations</c> of the type definition:</p>
-      <pre>
-Day1 = saturday,
-      </pre>
-      <p>The enumerated type is very similar to an integer type, when
-        defined with a set of predefined values. An enumerated type
-        differs from an integer in that it may only have  specified
-        values, whereas an integer can also have any other value.</p>
-    </section>
-
-    <section>
-      <marker id="BIT STRING"></marker>
-      <title>BIT STRING</title>
-      <p>The BIT STRING type can be used to model information which
-        is made up of  arbitrary length series of bits. It is intended
-        to be used for a selection of flags, not for binary files.        <br></br>
-
-        In ASN.1 BIT STRING definitions may look like:
-        </p>
-      <pre>
-Bits1 ::= BIT STRING
-Bits2 ::= BIT STRING {foo(0),bar(1),gnu(2),gnome(3),punk(14)}
-      </pre>
-      <p>There are two notations available for representation of
-        BIT STRING values in Erlang and as input to the encode functions.</p>
-      <list type="ordered">
-	<item>A bitstring. By default, a BIT STRING with no
-	  symbolic names will be decoded to an Erlang bitstring.</item>
-        <item>A list of atoms corresponding to atoms in the <c>NamedBitList</c> 
-         in the BIT STRING definition. A BIT STRING with symbolic
-	 names will always be decoded to this format.</item>
-      </list>
-      <p>Example:</p>
-      <pre>
-Bits1Val1 = &lt;&lt;0:1,1:1,0:1,1:1,1:1&gt;&gt;,
-Bits2Val1 = [gnu,punk],
-Bits2Val2 = &lt;&lt;2#1110:4&gt;&gt;,
-Bits2Val3 = [bar,gnu,gnome],
-      </pre>
-      <p><c>Bits2Val2</c> and <c>Bits2Val3</c> above denote the same value.</p>
-      <p><c>Bits2Val1</c> is assigned symbolic values. The assignment means 
-        that the bits corresponding to <c>gnu</c> and <c>punk</c> i.e. bits
-        2 and 14 are set to 1 and the rest set to 0. The symbolic values
-        appear as a list of values. If a named value appears, which is not
-        specified in the type definition, a run-time error will occur.</p>
-      <p>BIT STRINGS may also be sub-typed with, for example, a SIZE
-        specification:</p>
-      <pre>
-Bits3 ::= BIT STRING (SIZE(0..31))      </pre>
-      <p>This means that no bit higher than 31 can ever be set.</p>
-
-      <section>
-	<title>Deprecated representations for BIT STRING</title>
-	<p>In addition to the representations described above, the
-	following deprecated representations are available if the
-	specification has been compiled with the
-	<c>legacy_erlang_types</c> option:</p>
-	<list type="ordered">
-	  <item>A list of binary digits (0 or 1). This format is
-	  accepted as input to the encode functions, and a BIT STRING
-	  will be decoded to this format if the
-	  <em>legacy_bit_string</em> option has been given.
-	  </item>
-	  <item>As <c>{Unused,Binary}</c> where <c>Unused</c> denotes
-	  how many trailing zero-bits 0 to 7 that are unused in the
-	  least significant byte in <c>Binary</c>. This format is
-	  accepted as input to the encode functions, and a <c>BIT
-	  STRING</c> will be decoded to this format if
-	  <em>compact_bit_string</em> has been given.
-	  </item>
-	  <item>A hexadecimal number (or an integer). This format
-	  should be avoided, since it is easy to misinterpret a BIT
-	  STRING value in this format.
-	  </item>
-	</list>
-      </section>
-    </section>
-
-    <section>
-      <marker id="OCTET STRING"></marker>
-      <title>OCTET STRING</title>
-      <p>The OCTET STRING is the simplest of all ASN.1 types. The
-      OCTET STRING only moves or transfers e.g. binary files or other
-      unstructured information complying to two rules.  Firstly, the
-      bytes consist of octets and secondly, encoding is not
-      required.</p>
-      <p>It is possible to have the following ASN.1 type definitions:</p>
-      <pre>
-O1 ::= OCTET STRING
-O2 ::= OCTET STRING (SIZE(28))      </pre>
-      <p>With the following example assignments in Erlang:</p>
-      <pre>
-O1Val = &lt;&lt;17,13,19,20,0,0,255,254&gt;&gt;,
-O2Val = &lt;&lt;"must be exactly 28 chars...."&gt;&gt;,</pre>
-       <p>By default, an OCTET STRING is always represented as
-       an Erlang binary. If the specification has been compiled with
-       the <c>legacy_erlang_types</c> option, the encode functions
-       will accept both lists and binaries, and the decode functions
-       will decode an OCTET STRING to a list.</p>
-    </section>
-
-    <section>
-      <marker id="Character Strings"></marker>
-      <title>Character Strings</title>
-      <p>ASN.1 supports a wide variety of character sets. The main difference
-        between OCTET STRINGS and the Character strings is that OCTET
-        STRINGS have no imposed semantics on the bytes delivered.</p>
-      <p>However, when using for instance the IA5String (which closely
-        resembles ASCII)  the byte 65 (in decimal
-        notation)  <em>means</em> the character 'A'.
-        </p>
-      <p>For example, if a defined type is to be a VideotexString and
-        an octet is received with the unsigned integer value X, then
-        the octet should be interpreted as specified in the standard
-        ITU-T T.100,T.101. 
-        </p>
-      <p>The  ASN.1 to Erlang compiler
-        will not determine the correct interpretation  of each BER  
-        (Basic Encoding Rules) string octet value with different
-        Character strings. Interpretation of octets is the
-        responsibility of the application. Therefore, from the BER
-        string point of view, octets appear to be very similar to
-        character strings and are compiled in the same way.
-        </p>
-      <p>It should be noted that when PER (Packed Encoding Rules) is
-        used, there is a significant difference in the encoding scheme 
-        between OCTET STRINGS and other strings. The constraints 
-        specified for a type are especially important for PER, where
-        they affect the encoding.
-        </p>
-      <p>Here are some examples:</p>
-      <pre>
-Digs ::= NumericString (SIZE(1..3))
-TextFile ::= IA5String (SIZE(0..64000))      </pre>
-      <p>with corresponding Erlang assignments:</p>
-      <pre>
-DigsVal1 = "456",
-DigsVal2 = "123",
-TextFileVal1 = "abc...xyz...",
-TextFileVal2 = [88,76,55,44,99,121 .......... a lot of characters here ....]        </pre>
-      <p>The Erlang representation for "BMPString" and
-        "UniversalString" is either a list of ASCII values or a list
-        of quadruples. The quadruple representation associates to the
-        Unicode standard representation of characters. The ASCII
-        characters are all represented by quadruples beginning with
-        three zeros like {0,0,0,65} for the 'A' character. When
-        decoding a value for these strings the result is a list of
-        quadruples, or integers when the value is an ASCII character.</p>
-
-        <p>The following example shows how it works. We have the following
-	specification in the file <c>PrimStrings.asn1</c>.</p>
-       <pre>
-PrimStrings DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-   BMP ::= BMPString
-END
-       </pre>
-
-       <p>Encoding and decoding some strings:</p>
-
-      <pre>
-1> <input>asn1ct:compile('PrimStrings', [ber]).</input>
-ok
-2> <input>{ok,Bytes1} = 'PrimStrings':encode('BMP', [{0,0,53,53},{0,0,45,56}]).</input>
-{ok,&lt;&lt;30,4,53,54,45,56>>}
-3> <input>'PrimStrings':decode('BMP', Bytes1).</input>
-{ok,[{0,0,53,53},{0,0,45,56}]}
-4> <input>{ok,Bytes2} = 'PrimStrings':encode('BMP', [{0,0,53,53},{0,0,0,65}]).</input>
-{ok,&lt;&lt;30,4,53,53,0,65>>}
-5> <input>'PrimStrings':decode('BMP', Bytes2).</input>
-{ok,[{0,0,53,53},65]}
-6> <input>{ok,Bytes3} = 'PrimStrings':encode('BMP', "BMP string").</input>
-{ok,&lt;&lt;30,20,0,66,0,77,0,80,0,32,0,115,0,116,0,114,0,105,0,110,0,103>>}
-7> <input>'PrimStrings':decode('BMP', Bytes3).</input>
-{ok,"BMP string"}      </pre>
-
-      <p>The UTF8String type is represented as a UTF-8 encoded binary in
-      Erlang. Such binaries can be created directly using the binary syntax
-      or by converting from a list of Unicode code points using the
-      <c>unicode:characters_to_binary/1</c> function.</p>
-
-      <p>Here are some examples showing how UTF-8 encoded binaries can
-      be created and manipulated:</p>
-
-      <pre>
-1> <input>Gs = "Мой маленький Гном".</input>
-[1052,1086,1081,32,1084,1072,1083,1077,1085,1100,1082,1080,
- 1081,32,1043,1085,1086,1084]
-2> <input>Gbin = unicode:characters_to_binary(Gs).</input>
-&lt;&lt;208,156,208,190,208,185,32,208,188,208,176,208,187,208,
-  181,208,189,209,140,208,186,208,184,208,185,32,208,147,
-  208,...>>
-3> <input>Gbin = &lt;&lt;"Мой маленький Гном"/utf8>>.</input>
-&lt;&lt;208,156,208,190,208,185,32,208,188,208,176,208,187,208,
-  181,208,189,209,140,208,186,208,184,208,185,32,208,147,
-  208,...>>
-4> <input>Gs = unicode:characters_to_list(Gbin).</input>
-[1052,1086,1081,32,1084,1072,1083,1077,1085,1100,1082,1080,
- 1081,32,1043,1085,1086,1084]
-      </pre>
-
-      <p>See the <seealso marker="stdlib:unicode">unicode</seealso> module
-      for more details.</p>
-
-      <p>In the following example we will use this ASN.1 specification:</p>
-      <pre>
-UTF DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-   UTF ::= UTF8String
-END
-      </pre>
-
-      <p>Encoding and decoding a string with Unicode characters:</p>
-
-      <pre>
-5> <input>asn1ct:compile('UTF', [ber]).</input>
-ok
-6> <input>{ok,Bytes1} = 'UTF':encode('UTF', &lt;&lt;"Гном"/utf8>>).</input>
-{ok,&lt;&lt;12,8,208,147,208,189,208,190,208,188>>}
-7> <input>{ok,Bin1} = 'UTF':decode('UTF', Bytes1).</input>
-{ok,&lt;&lt;208,147,208,189,208,190,208,188>>}
-8> <input>io:format("~ts\n", [Bin1]).</input>
-Гном
-ok
-9> <input>unicode:characters_to_list(Bin1).</input>
-[1043,1085,1086,1084]
-      </pre>
-    </section>
-
-    <section>
-      <marker id="OBJECT IDENTIFIER"></marker>
-      <title>OBJECT IDENTIFIER</title>
-      <p>The OBJECT IDENTIFIER is used whenever a unique identity is required.
-        An ASN.1 module, a transfer syntax, etc. is identified with an
-        OBJECT IDENTIFIER. Assume the example below:</p>
-      <pre>
-Oid ::= OBJECT IDENTIFIER
-      </pre>
-      <p>Therefore, the example below is a valid Erlang instance of the 
-        type 'Oid'.</p>
-      <pre>
-OidVal1 = {1,2,55},
-      </pre>
-      <p>The OBJECT IDENTIFIER value is simply a tuple with the
-        consecutive values which must be integers. 
-        </p>
-      <p>The first value is limited to the values 0, 1 or 2 and the
-        second value must be in the range 0..39 when the first value
-        is 0 or 1.
-        </p>
-      <p>The OBJECT IDENTIFIER is a very important type and it is
-        widely used within different standards to uniquely identify
-        various objects. In [<cite id="DUBUISSON"></cite>], there is an 
-        easy-to-understand description of the usage of 
-        OBJECT IDENTIFIER.</p>
-      <p></p>
-    </section>
-
-    <section>
-      <marker id="Object Descriptor"></marker>
-      <title>Object Descriptor</title>
-      <p>Values of this type can be assigned a value as an ordinary string
-      like this:</p>
-
-      <pre>
-      "This is the value of an Object descriptor"</pre>
-    </section>
-
-    <section>
-      <marker id="The TIME types"></marker>
-      <title>The TIME Types</title>
-      <p>Two different time types are defined within ASN.1, Generalized
-        Time and UTC (Universal Time Coordinated), both are assigned a
-        value as an ordinary string within double quotes i.e.
-        "19820102070533.8".</p>
-      <p>In case of DER encoding the compiler does not check the validity
-        of the time values. The DER requirements upon those strings is 
-        regarded as a matter for the application to fulfill.</p>
-    </section>
-
-    <section>
-      <marker id="SEQUENCE"></marker>
-      <title>SEQUENCE</title>
-      <p>The structured types of ASN.1 are constructed from other types 
-        in a manner similar to the concepts of array and struct in  C.
-                <br></br>
- A SEQUENCE in ASN.1 is
-        comparable with a struct in C and a record in Erlang. 
-        A SEQUENCE may be defined as:</p>
-      <pre>
-Pdu ::= SEQUENCE {
-   a INTEGER,
-   b REAL,
-   c OBJECT IDENTIFIER,
-   d NULL }      </pre>
-      <p>This is a 4-component structure called 'Pdu'. The major format 
-        for representation of SEQUENCE in Erlang is the record format. 
-        For each SEQUENCE and <c>SET</c> in an ASN.1 module an Erlang 
-        record declaration is generated. For <c>Pdu</c> above, a record 
-        like this is defined:</p>
-      <pre>
--record('Pdu',{a, b, c, d}).      </pre>
-      <p>The record declarations for a module <c>M</c> are placed in a 
-        separate <c>M.hrl</c> file.</p>
-      <p>Values can be assigned in Erlang as shown below:</p>
-      <pre>
-MyPdu = #'Pdu'{a=22,b=77.99,c={0,1,2,3,4},d='NULL'}.      </pre>
-      <p>The decode functions will return a record as result when decoding 
-      a <c>SEQUENCE</c> or a <c>SET</c>.</p>
-
-      <p>A <c>SEQUENCE</c> and a <c>SET</c> may contain a component
-      with a <c>DEFAULT</c> key word followed by the actual value that
-      is the default value. The <c>DEFAULT</c> keyword means that the
-      application doing the encoding can omit encoding of the value,
-      thus resulting in fewer bytes to send to the receiving
-      application.</p>
-
-      <p>An application can use the atom <c>asn1_DEFAULT</c> to indicate
-      that the encoding should be omitted for that position in
-      the SEQUENCE.</p>
-
-      <p>Depending on the encoding rules, the encoder may also compare
-      the given value to the default value and automatically omit the
-      encoding if they are equal. How much effort the encoder makes to
-      to compare the values depends on the encoding rules. The DER
-      encoding rules forbids encoding a value equal to the default value,
-      so it has a more thorough and time-consuming comparison than the
-      encoders for the other encoding rules.</p>
-
-      <p>In the following example we will use this ASN.1 specification:</p>
-      <pre>
-File DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-Seq1 ::= SEQUENCE {
-    a INTEGER DEFAULT 1,
-    b Seq2 DEFAULT {aa TRUE, bb 15}
-}
-
-Seq2 ::= SEQUENCE {
-    aa BOOLEAN,
-    bb INTEGER
-}
-
-Seq3 ::= SEQUENCE {
-    bs BIT STRING {a(0), b(1), c(2)} DEFAULT {a, c}
-}
-END </pre>
-      <p>Here is an example where the BER encoder is able to omit encoding
-      of the default values:</p>
-      <pre>
-1> <input>asn1ct:compile('File', [ber]).</input>
-ok
-2> <input>'File':encode('Seq1', {'Seq1',asn1_DEFAULT,asn1_DEFAULT}).</input>
-{ok,&lt;&lt;48,0>>}
-3> <input>'File':encode('Seq1', {'Seq1',1,{'Seq2',true,15}}).</input>
-{ok,&lt;&lt;48,0>>}   </pre>
-
-     <p>And here is an example with a named BIT STRING where the BER
-     encoder will not omit the encoding:</p>
-     <pre>
-4> <input>'File':encode('Seq3', {'Seq3',asn1_DEFAULT).</input>
-{ok,&lt;&lt;48,0>>}
-5> <input>'File':encode('Seq3', {'Seq3',&lt;&lt;16#101:3>>).</input>
-{ok,&lt;&lt;48,4,128,2,5,160>>}     </pre>
-
-     <p>The DER encoder will omit the encoding for the same BIT STRING:</p>
-     <pre>
-6> <input>asn1ct:compile('File', [ber,der]).</input>
-ok
-7> <input>'File':encode('Seq3', {'Seq3',asn1_DEFAULT).</input>
-{ok,&lt;&lt;48,0>>}
-8> <input>'File':encode('Seq3', {'Seq3',&lt;&lt;16#101:3>>).</input>
-{ok,&lt;&lt;48,0>>}     </pre>
-    </section>
-
-    <section>
-      <marker id="SET"></marker>
-      <title>SET</title>
-      <p>In Erlang, the SET type is used exactly as SEQUENCE. Note
-      that if the BER or DER encoding rules are used, decoding a
-      SET is slower than decoding a SEQUENCE because the components
-      must be sorted.</p>
-    </section>
-
-    <section>
-      <title>Notes about extensibility for SEQUENCE and SET</title>
-      <p>When a SEQUENCE or SET contains an extension marker and 
-        extension components like this:</p>
-      <pre>
-SExt ::= SEQUENCE {
-           a INTEGER,
-           ...,
-           b BOOLEAN }
-      </pre>
-      <p>It means that the type may get more components in newer
-        versions of the ASN.1 spec. In this case it has got a new
-        component <c>b</c>. Thus, incoming messages that will be decoded
-        may have more or fever components than this one.  
-        </p>
-      <p>The component <c>b</c> will be treated as
-        an original component when encoding a message. In this case, as
-        it is not an optional element, it must be encoded.
-        </p>
-      <p>During decoding the <c>b</c> field of the record will get the decoded 
-        value of the <c>b</c> 
-        component if present and otherwise the value <c>asn1_NOVALUE</c>.</p>
-    </section>
-
-    <section>
-      <marker id="CHOICE"></marker>
-      <title>CHOICE</title>
-      <p>The CHOICE type is a space saver and is similar to the concept of a
-        'union' in the C language.</p>
-      <p>Assume:</p>
-      <pre>
-SomeModuleName DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-T ::= CHOICE {
-        x REAL,
-        y INTEGER,
-        z OBJECT IDENTIFIER }
-END </pre>
-      <p>It is then possible to assign values:</p>
-      <pre>
-TVal1 = {y,17},
-TVal2 = {z,{0,1,2}},
-      </pre>
-      <p>A CHOICE value is always represented as the tuple
-        <c>{ChoiceAlternative, Val}</c> where <c>ChoiceAlternative</c>
-        is an atom denoting the selected choice alternative.
-        </p>
-
-      <section>
-        <title>Extensible CHOICE</title>
-        <p>When a CHOICE contains an extension marker and the decoder detects
-          an unknown alternative of the CHOICE the value is represented as:</p>
-        <pre>
-{asn1_ExtAlt, BytesForOpenType}
-        </pre>
-        <p>Where <c>BytesForOpenType</c> is a list of bytes constituting the 
-          encoding of the "unknown" CHOICE alternative. </p>
-      </section>
-    </section>
-
-    <section>
-      <marker id="SOF"></marker>
-      <title>SET OF and SEQUENCE OF</title>
-      <p>The SET OF and SEQUENCE OF types correspond to the concept of an array
-        found in several programming languages. The Erlang syntax for
-        both of these types is straight forward. For example:</p>
-      <pre>
-Arr1 ::= SET SIZE (5) OF INTEGER (4..9) 
-Arr2 ::= SEQUENCE OF OCTET STRING      </pre>
-      <p>We may have the following in Erlang:</p>
-      <pre>
-Arr1Val = [4,5,6,7,8],
-Arr2Val = ["abc",[14,34,54],"Octets"],      </pre>
-      <p>Please note that the definition of the SET OF type implies that 
-        the order of the components is undefined, but in practice there is 
-        no difference between SET OF and SEQUENCE OF. The ASN.1 compiler 
-        for Erlang does not randomize the order of the SET OF components 
-        before encoding.</p>
-      <p>However, in case of a value of the type <c>SET OF</c>, the DER 
-        encoding format requires the elements to be sent in ascending 
-        order of their encoding, which implies an expensive sorting 
-        procedure in run-time. Therefore it is strongly recommended to 
-        use <c>SEQUENCE OF</c> instead of <c>SET OF</c> if it is possible.</p>
-    </section>
-
-    <section>
-      <marker id="ANY"></marker>
-      <title>ANY and ANY DEFINED BY</title>
-      <p>The types <c>ANY</c> and <c>ANY DEFINED BY</c> have been removed 
-        from the standard since 1994. It is recommended not to use
-        these types any more. They may, however, exist in some old ASN.1
-        modules.
-        The idea with this type was to leave a "hole" in a definition where
-        one could put unspecified data of any kind, even non ASN.1 data.</p>
-      <p>A value of this type is encoded as an <c>open type</c>.</p>
-      <p>Instead of <c>ANY</c>/<c>ANY DEFINED BY</c> one should use
-        <c>information object class</c>, <c>table constraints</c> and
-        <c>parameterization</c>. In particular the construct
-        <c>TYPE-IDENTIFIER.@Type</c> accomplish the same as the
-        deprecated <c>ANY</c>.</p>
-      <p>See also <seealso marker="#Information Object">Information object</seealso></p>
-    </section>
-
-    <section>
-      <marker id="NegotiationTypes"></marker>
-      <title>EXTERNAL, EMBEDDED PDV and CHARACTER STRING</title>
-      <p>These types are used in presentation layer negotiation. They are
-        encoded according to their associated type, see [<cite id="X.680"></cite>].</p>
-      <p>The <c>EXTERNAL</c> type had a slightly different associated type
-        before 1994. [<cite id="X.691"></cite>] states that encoding shall follow
-        the older associate type. Therefore does generated encode/decode
-        functions convert values of the newer format to the older format
-        before encoding. This implies that it is allowed to use 
-        <c>EXTERNAL</c> type values of either format for encoding. Decoded
-        values are always returned on the newer format.</p>
-    </section>
-
-    <section>
-      <title>Embedded Named Types</title>
-      <p>The structured types previously described may very well have other named types
-        as their components. The general syntax to assign a value to the component C
-        of a named ASN.1 type T in Erlang is the record syntax
-        <c>#'T'{'C'=Value}</c>. 
-        Where <c>Value</c> may be a value of yet another type T2.</p>
-      <p>For example:</p>
-      <pre>
-EmbeddedExample DEFINITIONS AUTOMATIC TAGS ::=
-BEGIN
-B ::= SEQUENCE {
-        a Arr1,
-        b T }
-
-Arr1 ::= SET SIZE (5) OF INTEGER (4..9) 
-
-T ::= CHOICE {
-        x REAL,
-        y INTEGER,
-        z OBJECT IDENTIFIER }
-        END      </pre>
-      <p>The SEQUENCE b can be encoded like this in Erlang:</p>
-      <pre>
-1> 'EmbeddedExample':encode('B', {'B',[4,5,6,7,8],{x,"7.77"}}).
-{ok,&lt;&lt;5,56,0,8,3,55,55,55,46,69,45,50>>} </pre>
-    </section>
-  </section>
-
-  <section>
-    <title>Naming of Records in .hrl Files</title>
-    <p>When an ASN.1 specification is compiled all defined types of
-      type SET or SEQUENCE will result in a corresponding record in the
-      generated hrl file. This is because the values for SET/SEQUENCE
-      as mentioned in sections above are represented as records.</p>
-    <p>Though there are some special cases of this functionality that
-      are presented below.</p>
-
-    <section>
-      <title>Embedded Structured Types</title>
-      <p>It is also possible in ASN.1 to have components that are  themselves
-        structured types.
-        For example, it is possible to have:</p>
-      <pre>
-Emb ::= SEQUENCE {
-    a SEQUENCE OF OCTET STRING,
-    b SET {
-       a INTEGER,
-       b INTEGER DEFAULT 66},
-    c CHOICE {
-       a INTEGER,
-       b FooType } }
-
-FooType ::= [3] VisibleString      </pre>
-      <p>The following records are generated because of the type <c>Emb</c>:</p>
-      <pre>
--record('Emb,{a, b, c}).
--record('Emb_b',{a, b = asn1_DEFAULT}). % the embedded SET type
-      </pre>
-      <p>Values of the <c>Emb</c> type can be assigned like this:</p>
-      <code type="none">
-V = #'Emb'{a=["qqqq",[1,2,255]], 
-           b = #'Emb_b'{a=99}, 
-           c ={b,"Can you see this"}}.
-      </code>
-      <p>For an embedded type of type SEQUENCE/SET in a SEQUENCE/SET
-        the record name is extended with an underscore and the component
-        name. If the embedded structure is deeper with SEQUENCE, SET or
-        CHOICE types in the line, each component-/alternative-name will
-        be added to the record-name.</p>
-      <p>For example:</p>
-      <pre>
-Seq ::= SEQUENCE{
-    a CHOICE{
-        b SEQUENCE {
-           c  INTEGER
-        }
-    }
-}      </pre>
-      <p>will result in the following record:</p>
-      <pre>
--record('Seq_a_b',{c}).      </pre>
-      <p>If the structured type has a component with an embedded
-        SEQUENCE OF/SET OF which embedded type in turn is a
-        SEQUENCE/SET it will give a record with the SEQOF/SETOF
-        addition as in the following example:</p>
-      <pre>
-Seq ::= SEQUENCE {
-    a SEQUENCE OF SEQUENCE {
-           b
-               }
-    c SET OF SEQUENCE {
-           d
-               }
-}      </pre>
-      <p>This results in the records:</p>
-      <pre>
--record('Seq_a_SEQOF'{b}).
--record('Seq_c_SETOF'{d}).      </pre>
-      <p>A parameterized type should be considered as an embedded
-        type. Each time a such type is referenced an instance of it is
-        defined. Thus in the following example a record with name
-        <c>'Seq_b'</c> is generated in the .hrl file and used to hold
-        values.</p>
-      <pre>
-Seq ::= SEQUENCE {
-    b PType{INTEGER}
-}
-
-PType{T} ::= SEQUENCE{
-    id T
-}      </pre>
-    </section>
-
-    <section>
-      <title>Recursive Types</title>
-      <p>Types may refer to themselves. Suppose:</p>
-      <pre>
-Rec ::= CHOICE {
-     nothing NULL,
-     something SEQUENCE {
-          a INTEGER,
-          b OCTET STRING,
-          c Rec }}      </pre>
-      <p>This type is recursive; that is, it refers to itself. This is allowed 
-        in ASN.1 and the  ASN.1-to-Erlang compiler  supports this recursive
-        type. A value for this type is assigned in Erlang as shown below:</p>
-      <pre>
-V = {something,#'Rec_something'{a = 77, 
-                                b = "some octets here", 
-                                c = {nothing,'NULL'}}}.      </pre>
-    </section>
-  </section>
-
-  <section>
-    <title>ASN.1 Values</title>
-    <p>Values can be assigned to ASN.1 type within the ASN.1 code
-      itself, as opposed to the actions taken in the previous chapter where
-      a value was assigned to an ASN.1 type in Erlang. The full value
-      syntax of ASN.1 is supported and [X.680] describes in detail how
-      to assign values in ASN.1. Below is a short example:</p>
-    <pre>
-TT ::= SEQUENCE {
-   a INTEGER,
-   b SET OF OCTET STRING }
-
-tt TT ::= {a 77,b {"kalle","kula"}}    </pre>
-    <p>The value defined here could be used in several ways. 
-      Firstly, it could be used as the value in some DEFAULT component:</p>
-    <pre>
-SS ::= SET {
-    s OBJECT IDENTIFIER,
-    val TT DEFAULT tt }    </pre>
-    <p>It could also be used from inside an Erlang program. If the above ASN.1
-      code was defined in ASN.1 module <c>Values</c>, then the ASN.1 value
-      <c>tt</c> can be reached from Erlang as
-      a function call to <c>'Values':tt()</c> as in the example below.</p>
-    <pre>
-1> <input>Val = 'Values':tt().</input>
-{'TT',77,["kalle","kula"]}
-2> <input>{ok,Bytes} = 'Values':encode('TT',Val).</input>
-{ok,&lt;&lt;48,18,128,1,77,161,13,4,5,107,97,108,108,101,4,4,
-      107,117,108,97&gt;&gt;}
-4> <input>'Values':decode('TT',Bytes).</input>
-{ok,{'TT',77,["kalle","kula"]}}
-5>
-    </pre>
-    <p>The above example shows that a function is generated by the compiler 
-      that returns a valid Erlang representation of the value, even though
-      the value is of a complex type.</p>
-    <p>Furthermore, there is a macro generated for each value in the .hrl 
-      file. So, the defined value <c>tt</c> can also be extracted by 
-      <c>?tt</c> in application code.</p>
-  </section>
-
-  <section>
-    <title>Macros</title>
-    <p>MACRO is not supported as the the type is no longer part of the 
-      ASN.1 standard.</p>
-  </section>
-
-  <section>
-    <marker id="Information Object"></marker>
-    <title>ASN.1 Information Objects (X.681)</title>
-    <p>Information Object Classes, Information Objects and Information
-      Object Sets (in the following called classes, objects and
-      object sets respectively) are defined in the standard
-      definition [<cite id="X.681"></cite>]. In the following only a brief
-      explanation is given. </p>
-    <p>These constructs makes it possible to define open types,
-      i.e. values of that type can be of any ASN.1 type. It is also
-      possible to define relationships between different types and
-      values, since classes can hold types, values, objects, object
-      sets and other classes in its fields.
-      An Information Object Class may be defined in ASN.1 as:</p>
-    <pre>
-GENERAL-PROCEDURE ::= CLASS {
-      &amp;Message,
-      &amp;Reply               OPTIONAL,
-      &amp;Error               OPTIONAL,
-      &amp;id          PrintableString UNIQUE
-}
-WITH SYNTAX {
-      NEW MESSAGE     &amp;Message
-      [REPLY           &amp;Reply]
-      [ERROR           &amp;Error]
-      ADDRESS          &amp;id
-}    </pre>
-    <p>An object is an instance of a class and an object set is a set
-      containing objects of one specified class. A definition may look like
-      below.</p>
-    <p>The object <c>object1</c> is an instance of the CLASS 
-      GENERAL-PROCEDURE and has one type field and one fixed type value 
-      field. The object <c>object2</c> also has an OPTIONAL field ERROR,
-      which is a type field.</p>
-    <pre>
-object1 GENERAL-PROCEDURE ::= {
-    NEW MESSAGE      PrintableString
-    ADDRESS          "home"
-}
-
-object2 GENERAL-PROCEDURE ::= {
-    NEW MESSAGE INTEGER
-    ERROR INTEGER
-    ADDRESS "remote"
-}    </pre>
-    <p>The field ADDRESS is a UNIQUE field. Objects in an object set must
-      have unique values in their UNIQUE field, as in GENERAL-PROCEDURES: </p>
-    <pre>
-GENERAL-PROCEDURES GENERAL-PROCEDURE ::= {
-    object1 | object2}    </pre>
-    <p>One can not encode a class, object or object set, only referring to
-      it when defining other ASN.1 entities. Typically one refers to a
-      class and to object sets by table constraints and component
-      relation constraints [<cite id="X.682"></cite>] in ASN.1 types, as in: </p>
-    <pre>
-StartMessage  ::= SEQUENCE {
-    msgId  GENERAL-PROCEDURE.&amp;id  ({GENERAL-PROCEDURES}),
-    content GENERAL-PROCEDURE.&amp;Message ({GENERAL-PROCEDURES}{@msgId}),
-    }    </pre>
-    <p>In the type <c>StartMessage</c> the constraint following the
-      <c>content</c> field tells that in a value of type
-      <c>StartMessage</c> the value in the <c>content</c> field must
-      come from the same object that is chosen by the <c>msgId</c>
-      field.</p>
-    <p>So, the value <c>#'StartMessage'{msgId="home",content="Any Printable String"}</c> is legal to encode as a StartMessage
-      value, while the value <c>#'StartMessage'{msgId="remote", content="Some String"}</c> is illegal since the constraint
-      in StartMessage tells that when you have chosen a value from a 
-      specific object in the object set GENERAL-PROCEDURES in the 
-      msgId field you have to choose a value from that same object in
-      the content field too. In this second case it should have been 
-      any INTEGER value.</p>
-    <p><c>StartMessage</c> can in the <c>content</c> field be
-      encoded with a value of any type that an object in the
-      <c>GENERAL-PROCEDURES</c> object set has in its <c>NEW MESSAGE</c> field. This field refers to a type field
-      <c>&amp;Message</c> in the class. The <c>msgId</c> field is always
-      encoded as a PrintableString, since the field refers to a fixed type
-      in the class.</p>
-    <p>In practice, object sets are usually declared to be extensible so
-    so that more objects can be added to the set later. Extensibility is
-    indicated like this:</p>
-    <pre>
-GENERAL-PROCEDURES GENERAL-PROCEDURE ::= {
-    object1 | object2, ...}    </pre>
-     <p>When decoding a type that uses an extensible set constraint,
-     there is always the possibility that the value in the UNIQUE
-     field is unknown (i.e. the type has been encoded with a later
-     version of the ASN.1 specification). When that happens, the
-     unencoded data will be returned wrapped in a tuple like this:</p>
-
-     <pre>
-{asn1_OPENTYPE,Binary}</pre>
-     <p>where <c>Binary</c> is an Erlang binary that contains the encoded
-     data. (If the option <c>legacy_erlang_types</c> has been given,
-     just the binary will be returned.)</p>
-  </section>
-
-  <section>
-    <title>Parameterization (X.683)</title>
-    <p>Parameterization, which is defined in the standard [<cite id="X.683"></cite>], can be used when defining types, values, value
-      sets, information object classes, information objects or
-      information object sets. 
-      A part of a definition can be supplied as a parameter. For
-      instance, if a Type is used in a definition with certain
-      purpose, one want the type-name to express the intention. This
-      can be done with parameterization.</p>
-    <p>When many types (or another ASN.1 entity) only differs in some
-      minor cases, but the structure of the types are similar, only
-      one general type can be defined and the differences may be supplied
-      through parameters. </p>
-    <p>One example of use of parameterization is:</p>
-    <pre>
-General{Type} ::= SEQUENCE
-{
-     number     INTEGER,
-     string     Type
-}
-      
-T1 ::= General{PrintableString}
-
-T2 ::= General{BIT STRING}
-    </pre>
-    <p>An example of a value that can be encoded as type T1 is {12,"hello"}.</p>
-    <p>Note that the compiler does not generate encode/decode functions for
-      parameterized types, but only for the instances of the parameterized
-      types. Therefore, if a file contains the types General{}, T1 and T2 above,
-      encode/decode functions will only be generated for T1 and T2.
-      </p>
-  </section>
-</chapter>
-
diff --git a/lib/asn1/doc/src/asn1ct.xml b/lib/asn1/doc/src/asn1ct.xml
index 32ff2d52cf..4e0bf055fc 100644
--- a/lib/asn1/doc/src/asn1ct.xml
+++ b/lib/asn1/doc/src/asn1ct.xml
@@ -35,43 +35,45 @@
   <modulesummary>ASN.1 compiler and compile-time support functions</modulesummary>
   <description>
     <p>The ASN.1 compiler takes an ASN.1 module as input and generates a 
-      corresponding Erlang module which can encode and decode the data-types
-      specified. Alternatively the compiler takes a specification module 
-      (se below) specifying all input modules and generates one module with 
-      encode/decode functions. There are also some generic functions which
-      can be used in during development of applications which handles ASN.1
-      data (encoded as BER or PER).</p>
+      corresponding Erlang module, which can encode and decode the specified
+      data types. Alternatively, the compiler takes a specification module
+      specifying all input modules, and generates a module with 
+      encode/decode functions. In addition, some generic functions
+      can be used during development of applications that handles ASN.1
+      data (encoded as <c>BER</c> or <c>PER</c>).</p>
+
       <note>
-	<p>By default in OTP 17, the representation of the BIT STRING
-	and OCTET STRING types as Erlang terms have changed. BIT
-	STRING values are now Erlang bitstrings and OCTET STRING values
-	are binaries.  Also, an undecoded open type will now be wrapped in
-	a <c>asn1_OPENTYPE</c> tuple. For details see <seealso
-	marker="asn1_ug#BIT STRING">BIT STRING</seealso>, <seealso
-	marker="asn1_ug#OCTET STRING">OCTET STRING</seealso>, and
-	<seealso marker="asn1_ug#Information%20Object">ASN.1 Information Objects</seealso> in User's Guide.</p>
-	<p>To revert to the old representation of the types, use the
-	<c>legacy_erlang_types</c> option.</p>
+	<p>By default in OTP 17, the representation of the <c>BIT STRING</c>
+	and <c>OCTET STRING</c> types as Erlang terms were changed. <c>BIT
+	STRING</c> values are now Erlang bit strings and <c>OCTET STRING</c>
+	values are binaries. Also, an undecoded open type is now wrapped in
+	an <c>asn1_OPENTYPE</c> tuple. For details, see <seealso
+	marker="asn1_getting_started#BIT STRING">BIT STRING</seealso>, <seealso
+	marker="asn1_getting_started#OCTET STRING">OCTET STRING</seealso>, and
+	<seealso marker="asn1_getting_started#Information Object">ASN.1 Information Objects</seealso> in the User's Guide.</p>
+	<p>To revert to the old representation of the types, use option
+	<c>legacy_erlang_types</c>.</p>
       </note>
+
       <note>
-	<p>In R16, the options have been simplified. The back-end is chosen
+	<p>In OTP R16, the options were simplified. The back end is chosen
 	using one of the options <c>ber</c>, <c>per</c>, or <c>uper</c>.
-	The options <c>optimize</c>, <c>nif</c>, and <c>driver</c> options
-	are no longer necessary (and the ASN.1 compiler will print a
-	warning if they are used). The options <c>ber_bin</c>, <c>per_bin</c>,
-	and <c>uper_bin</c> options will still work, but will print a warning.
+	Options <c>optimize</c>, <c>nif</c>, and <c>driver</c> options
+	are no longer necessary (and the ASN.1 compiler generates a
+	warning if they are used). Options <c>ber_bin</c>, <c>per_bin</c>,
+	and <c>uper_bin</c> options still work, but generates a warning.
 	</p>
-	<p>Another change in R16 is that the generated <c>encode/2</c>
-	function always returns a binary.
-	The <c>encode/2</c> function for the BER back-end used to return
-	an iolist.</p>
+	<p>Another change in OTP R16 is that the generated function
+	<c>encode/2</c> always returns a binary. Function <c>encode/2</c>
+	for the <c>BER</c> back end used to return an iolist.</p>
       </note>
   </description>
+
   <funcs>
     <func>
       <name>compile(Asn1module) -> ok | {error, Reason}</name>
       <name>compile(Asn1module, Options) -> ok | {error, Reason}</name>
-      <fsummary>Compile an ASN.1 module and generate encode/decode functions according to the encoding rules BER or PER.</fsummary>
+      <fsummary>Compiles an ASN.1 module and generates encode/decode functions according to encoding rules BER or PER.</fsummary>
       <type>
         <v>Asn1module = atom() | string()</v>
         <v>Options = [Option| OldOption]</v>
@@ -85,79 +87,82 @@
         <v>Prefix = string()</v>
       </type>
       <desc>
-        <p>Compiles the ASN.1 module <c>Asn1module</c> and generates an 
-          Erlang module <c>Asn1module.erl</c> with encode and decode 
+        <p>Compiles the <c>ASN.1</c> module <c>Asn1module</c> and generates 
+          an Erlang module <c>Asn1module.erl</c> with encode and decode 
           functions for the types defined in <c>Asn1module</c>. For each 
-          ASN.1 value defined in the module an Erlang function which 
+          ASN.1 value defined in the module, an Erlang function that 
           returns the value in Erlang representation is generated.</p>
-        <p>If <c>Asn1module</c> is a filename without extension first
-          <c>".asn1"</c> is assumed, then <c>".asn"</c> and finally
+        <p>If <c>Asn1module</c> is a filename without extension, first
+          <c>".asn1"</c> is assumed, then <c>".asn"</c>, and finally
           <c>".py"</c> (to be compatible with the old ASN.1 compiler).
-          Of course <c>Asn1module</c> can be a full pathname (relative or
+          <c>Asn1module</c> can be a full pathname (relative or
           absolute) including filename with (or without) extension.
                     <marker id="asn1set"></marker>
 </p>
-        <p>If one wishes to compile a set of Asn1 modules into one
-          Erlang file with encode/decode functions one has to list all
+        <p>If it is needed to compile a set of <c>ASN.1</c> modules into an
+          Erlang file with encode/decode functions, ensure to list all
           involved files in a configuration file. This configuration
-          file must have a double extension ".set.asn", (".asn" can
-          alternatively be ".asn1" or ".py"). The input files' names
-          must be listed, within quotation marks (""), one at each row
+          file must have a double extension <c>".set.asn"</c>
+          (<c>".asn"</c> can alternatively be <c>".asn1"</c> or <c>".py"</c>).
+          List the input file names
+          within quotation marks (""), one at each row
           in the file. If the input files are <c>File1.asn</c>,
-          <c>File2.asn</c> and <c>File3.asn</c> the configuration file
-          shall look like:</p>
+          <c>File2.asn</c>, and <c>File3.asn</c>, the configuration file
+          must look as follows:</p>
         <pre>
 File1.asn
 File2.asn
-File3.asn        </pre>
-        <p>The output files will in this case get their names from the
-          configuration file. If the configuration file has the name
-          <c>SetOfFiles.set.asn</c> the name of the output files will be
-          <c>SetOfFiles.hrl, SetOfFiles.erl and SetOfFiles.asn1db</c>.</p>
-        <p>Sometimes in a system of ASN.1 modules there are different
-          default tag modes, e.g. AUTOMATIC, IMPLICIT or EXPLICIT. The
-          multi file compilation resolves the default tagging as if
+File3.asn</pre>
+        <p>The output files in this case get their names from the
+          configuration file. If the configuration file is named
+          <c>SetOfFiles.set.asn</c>, the names of the output files are
+          <c>SetOfFiles.hrl, SetOfFiles.erl, and SetOfFiles.asn1db</c>.</p>
+        <p>Sometimes in a system of <c>ASN.1</c> modules, different
+          default tag modes, for example, <c>AUTOMATIC</c>, <c>IMPLICIT</c>,
+          or <c>EXPLICIT</c>. The
+          multi-file compilation resolves the default tagging as if
           the modules were compiled separately.</p>
-        <p>Another unwanted effect that may occur in multi file compilation
-          is name collisions. The compiler solves this problem in two
-          ways: If the definitions are identical then the output module
-          keeps only one definition with the original name. But if
-          definitions only have same name and differs in the definition, 
-          then they will be renamed. The new names will be the definition
-          name and the original module name concatenated.</p>
-        <p>If any name collision have occurred the compiler reports a 
-          "NOTICE: ..." message that tells if a definition was renamed,
+        <p>Name collisions is another unwanted effect that can occur in
+          multi file-compilation. The compiler solves this problem in one
+          of two ways:</p>
+          <list type="bulleted">
+            <item>If the definitions are identical, the output module
+            keeps only one definition with the original name.</item>
+            <item>If the definitions have the same name and differs in the
+            definition, they are renamed. The new names are the definition
+            name and the original module name concatenated.</item>
+	  </list>
+        <p>If a name collision occurs, the compiler reports a 
+          <c>"NOTICE: ..."</c> message that tells if a definition was renamed,
           and the new name that must be used to encode/decode data.</p>
-
-        <p>
-	  <c>Options</c> is a list with options specific for the asn1
+        <p><c>Options</c> is a list with options specific for the <c>ASN.1</c>
 	  compiler and options that are applied to the Erlang compiler.
-	  The latter are those that not is recognized as asn1 specific.
-	  Available options are:
+	  The latter are not recognized as <c>ASN.1</c> specific. The
+	  available options are as follows:
 	</p>
 	<taglist>
           <tag><c>ber | per | uper</c></tag>
           <item>
             <p>
 	      The encoding rule to be used. The supported encoding rules
-	      are BER (Basic Encoding Rules), 
-	      PER aligned (Packed Encoding Rules) and PER unaligned. 
-	      If the encoding rule option is omitted <c>ber</c> 
+	      are Basic Encoding Rules (BER),
+	      Packed Encoding Rules (PER) aligned, and PER unaligned.
+	      If the encoding rule option is omitted, <c>ber</c> 
 	      is the default.
 	    </p>
 	    <p>
 	      The generated Erlang module always gets the same name
-	      as the ASN.1 module and as a consequence of this only one
-	    encoding rule per ASN.1 module can be used at runtime.
+	      as the <c>ASN.1</c> module. Therefore, only one
+	      encoding rule per <c>ASN.1</c> module can be used at runtime.
 	    </p>
           </item>
           <tag><c>der</c></tag>
           <item>
             <p>
-	      By this option the Distinguished Encoding Rules (DER) is chosen.
+	      With this option the Distinguished Encoding Rules (DER) is chosen.
 	      DER is regarded as a specialized variant of the BER encoding 
-              rule, therefore the <c>der</c> option only makes sense together
-	      with the <c>ber</c> option.
+              rule. Therefore, this option only makes sense together
+	      with option <c>ber</c>.
 	      This option
               sometimes adds sorting and value checks when encoding, which
               implies a slower encoding. The decoding routines are the same
@@ -167,118 +172,123 @@ File3.asn        </pre>
           <tag><c>compact_bit_string</c></tag>
           <item>
             <p>
-	      The BIT STRING type will be decoded to the "compact notation".
+	      The <c>BIT STRING</c> type is decoded to "compact notation".
 	      <em>This option is not recommended for new code.</em>
 	    </p>
-	    <p>For details see
-	      <seealso marker="asn1_ug#BIT STRING">
-		BIT STRING type section in the Users Guide
-	      </seealso>.
+	    <p>For details, see Section
+	      <seealso marker="asn1_getting_started#BIT STRING">
+		BIT STRING</seealso> in the User's Guide.
 	    </p>
-	    <p>This option implies the <c>legacy_erlang_types</c> option.</p>
+	    <p>This option implies option <c>legacy_erlang_types</c>.</p>
 	  </item>
           <tag><c>legacy_bit_string</c></tag>
           <item>
             <p>
-	      The BIT STRING type will be decoded to the legacy
-	      format, i.e. a list of zeroes and ones.
+	      The <c>BIT STRING</c> type is decoded to the legacy
+	      format, that is, a list of zeroes and ones.
 	      <em>This option is not recommended for new code.</em>
 	    </p>
-	    <p>For details see
-	      <seealso marker="asn1_ug#BIT STRING">
-		BIT STRING type section in the Users Guide
-	      </seealso>.
-	      <p>This option implies the <c>legacy_erlang_types</c> option.</p>
-	    </p>
+	    <p>For details, see Section
+	      <seealso marker="asn1_getting_started#BIT STRING">BIT STRING</seealso>
+	      in the User's Guide</p>
+	      <p>This option implies option <c>legacy_erlang_types</c>.</p>
 	  </item>
           <tag><c>legacy_erlang_types</c></tag>
           <item>
-            <p>Use the same Erlang types to represent BIT STRING and
-            OCTET STRING as in R16. For details see <seealso
-            marker="asn1_ug#BIT STRING">BIT STRING</seealso> and
-            <seealso marker="asn1_ug#OCTET STRING">OCTET
-            STRING</seealso> in User's Guide.</p>
-	    <p><em>This option is not recommended for
-            new code.</em></p>
+            <p>Use the same Erlang types to represent <c>BIT STRING</c> and
+            <c>OCTET STRING</c> as in OTP R16.</p>
+	    <p>For details, see Section <seealso
+            marker="asn1_getting_started#BIT STRING">BIT STRING</seealso> and Section
+            <seealso marker="asn1_getting_started#OCTET STRING">OCTET
+            STRING</seealso> in the User's Guide.</p>
+	    <p><em>This option is not recommended for new code.</em></p>
 	  </item>
           <tag><c>{n2n, EnumTypeName}</c></tag>
           <item>
             <p>
-	      Tells the compiler to generate functions for conversion between
-	      names (as atoms) and numbers and vice versa for the EnumTypeName specified. There can be multiple occurrences of this option in order to specify several type names. The type names must be declared as ENUMERATIONS in the ASN.1 spec.
-	      If the EnumTypeName does not exist in the ASN.1 spec the 
-	      compilation will stop with an error code.
-	      The generated conversion functions are named 
+	      Tells the compiler to generate functions for conversion
+	      between names (as atoms) and numbers and conversely for
+	      the specified <c>EnumTypeName</c>. There can be multiple
+	      occurrences of this option to specify several type names.
+	      The type names must be declared as <c>ENUMERATIONS</c> in
+	      the ASN.1 specification.</p>
+	    <p>
+	      If <c>EnumTypeName</c> does not exist in the ASN.1 specification, 
+	      the compilation stops with an error code.</p>
+	    <p>
+	      The generated conversion functions are named
 	      <c>name2num_EnumTypeName/1</c> and 
 	      <c>num2name_EnumTypeName/1</c>.
 	    </p>
           </item>
           <tag><c>noobj</c></tag>
           <item>
-            <p>Do not compile (i.e do not produce object code) the generated 
-              <c>.erl</c> file. If this option is omitted the generated Erlang module
-              will be compiled.</p>
+            <p>Do not compile (that is, do not produce object code) the
+	      generated <c>.erl</c> file. If this option is omitted, the
+	      generated Erlang module is compiled.</p>
           </item>
           <tag><c>{i, IncludeDir}</c></tag>
           <item>
             <p>Adds <c>IncludeDir</c> to the search-path for
-              <c>.asn1db</c> and asn1 source files. The compiler tries
-              to open a <c>.asn1db</c> file when a module imports
-              definitions from another ASN.1 module. If no
-              <c>.asn1db</c> file is found the asn1 source file is
-              parsed.  Several <c>{i, IncludeDir}</c> can be given.
+              <c>.asn1db</c> and <c>ASN.1</c> source files. The compiler
+              tries to open an <c>.asn1db</c> file when a module imports
+              definitions from another <c>ASN.1</c> module. If no
+              <c>.asn1db</c> file is found, the <c>ASN.1</c> source file is
+              parsed. Several <c>{i, IncludeDir}</c> can be given.
               </p>
           </item>
           <tag><c>{outdir, Dir}</c></tag>
           <item>
-            <p>Specifies the directory <c>Dir</c> where all generated files 
-              shall be placed. If omitted the files are placed in the 
-              current directory.</p>
+            <p>Specifies directory <c>Dir</c> where all generated files 
+              are to be placed. If this option is omitted, the files are
+	      placed in the current directory.</p>
           </item>
           <tag><c>asn1config</c></tag>
           <item>
-            <p>When one of the specialized decodes, exclusive or
-              selective decode, is wanted one has to give instructions in
-              a configuration file. The option <c>asn1config</c> enables
-              specialized decodes and takes the configuration file, which
-              has the same name as the ASN.1 spec but with extension
-              <c>.asn1config</c>, in concern.
+            <p>When using one of the specialized decodes, exclusive or
+              selective decode, instructions must be given in
+              a configuration file. Option <c>asn1config</c> enables
+              specialized decodes and takes the configuration file in
+	      concern. The configuration file has
+              the same name as the ASN.1 specification, but with extension
+              <c>.asn1config</c>.
               </p>
-            <p>The instructions for exclusive decode must follow the
-              <seealso marker="asn1_spec#Exclusive Instruction">instruction and grammar in the User's Guide</seealso>.
+            <p>For instructions for exclusive decode, see Section
+              <seealso marker="asn1_spec#Exclusive Instruction">Exclusive
+	      Decode</seealso> in the User's Guide.
               </p>
-            <p>You can also find the instructions for selective decode
-              in the
-              <seealso marker="asn1_spec#Selective Instruction">User's Guide</seealso>.
+            <p>For instructions for selective decode, see Section
+              <seealso marker="asn1_spec#Selective Instruction">Selective
+	      Decode</seealso> in the User's Guide.
               </p>
           </item>
           <tag><c>undec_rest</c></tag>
           <item>
-            <p>A buffer that holds a message, being decoded may
-              also have some following bytes. Now it is possible to get
-              those following bytes returned together with the decoded
-              value. If an asn1 spec is compiled with this option a tuple
-              <c>{ok, Value, Rest}</c> is returned. <c>Rest</c> may be a
+            <p>A buffer that holds a message, being decoded it can also
+              have some following bytes. Those following bytes can now
+              be returned together with the decoded value. If an
+              ASN.1 specification is compiled with this option, a tuple
+              <c>{ok, Value, Rest}</c> is returned. <c>Rest</c> can be a
               list or a binary. Earlier versions of the compiler ignored
               those following bytes.</p>
           </item>
 	  <tag><c>no_ok_wrapper</c></tag>
 	  <item>
-	    <p>If this option is given, the generated <c>encode/2</c>
-	    and <c>decode/2</c> functions will not wrap a successful
+	    <p>With this option, the generated <c>encode/2</c>
+	    and <c>decode/2</c> functions do not wrap a successful
 	    return value in an <c>{ok,...}</c> tuple. If any error
-	    occurs, there will be an exception.</p>
+	    occurs, an exception will be raised.</p>
 	  </item>
           <tag><c>{macro_name_prefix, Prefix}</c></tag>
           <item>
               <p>All macro names generated by the compiler are prefixed with
-              <c>Prefix</c>. This is useful when multiple protocols that contains
+              <c>Prefix</c>. This is useful when multiple protocols that contain
               macros with identical names are included in a single module.</p>
           </item>
           <tag><c>{record_name_prefix, Prefix}</c></tag>
           <item>
             <p>All record names generated by the compiler are prefixed with
-              <c>Prefix</c>. This is useful when multiple protocols that contains
+              <c>Prefix</c>. This is useful when multiple protocols that contain
               records with identical names are included in a single module.</p>
           </item>
           <tag><c>verbose</c></tag>
@@ -291,27 +301,27 @@ File3.asn        </pre>
             <p>Causes warnings to be treated as errors.</p>
           </item>
         </taglist>
-        <p>Any additional option that is applied will be passed to
-          the final step when the generated .erl file is compiled.
+        <p>Any more option that is applied is passed to
+          the final step when the generated <c>.erl</c> file is compiled.
           </p>
         <p>The compiler generates the following files:</p>
         <list type="bulleted">
-          <item>
-            <p><c>Asn1module.hrl</c> (if any SET or SEQUENCE is defined)</p>
+          <item><c>Asn1module.hrl</c> (if any <c>SET</c> or <c>SEQUENCE</c>
+	    is defined)
           </item>
-          <item>
-            <p><c>Asn1module.erl</c> the Erlang module with encode, decode and value functions.</p>
+          <item><c>Asn1module.erl</c> - Erlang module with encode, decode,
+	    and value functions
           </item>
-          <item>
-            <p><c>Asn1module.asn1db</c> intermediate format used by the compiler when modules IMPORTS
-              definitions from each other.</p>
+          <item><c>Asn1module.asn1db</c> - Intermediate format used by the
+	    compiler when modules <c>IMPORT</c> definitions from each other.
           </item>
         </list>
       </desc>
     </func>
+
     <func>
       <name>encode(Module, Type, Value)-> {ok, Bytes} | {error, Reason}</name>
-      <fsummary>Encode an ASN.1 value.</fsummary>
+      <fsummary>Encodes an ASN.1 value.</fsummary>
       <type>
         <v>Module = Type = atom()</v>
         <v>Value = term()</v>
@@ -319,11 +329,11 @@ File3.asn        </pre>
         <v>Reason = term()</v>
       </type>
       <desc>
-        <p>Encodes <c>Value</c> of <c>Type</c> defined in the ASN.1 module 
-          <c>Module</c>. To get as fast execution as possible the
-          encode function only performs rudimentary tests that the input 
-          <c>Value</c>
-          is a correct instance of <c>Type</c>. The length of strings is for example
+        <p>Encodes <c>Value</c> of <c>Type</c> defined in the <c>ASN.1</c> module
+          <c>Module</c>. To get as fast execution as possible, the
+          encode function performs only the rudimentary tests that input 
+          <c>Value</c> is a correct instance of <c>Type</c>. So, for example,
+	  the length of strings is
           not always checked. Returns <c>{ok, Bytes}</c> if successful or
           <c>{error, Reason}</c> if an error occurred.
           </p>
@@ -331,6 +341,7 @@ File3.asn        </pre>
 	Use <c>Module:encode(Type, Value)</c> instead.</p>
       </desc>
     </func>
+
     <func>
       <name>decode(Module, Type, Bytes) -> {ok, Value} | {error, Reason}</name>
       <fsummary>Decode from Bytes into an ASN.1 value.</fsummary>
@@ -346,26 +357,28 @@ File3.asn        </pre>
 	Use <c>Module:decode(Type, Bytes)</c> instead.</p>
       </desc>
     </func>
+
     <func>
       <name>value(Module, Type) -> {ok, Value} | {error, Reason}</name>
-      <fsummary>Create an ASN.1 value for test purposes.</fsummary>
+      <fsummary>Creates an ASN.1 value for test purposes.</fsummary>
       <type>
         <v>Module = Type = atom()</v>
         <v>Value = term()</v>
         <v>Reason = term()</v>
       </type>
       <desc>
-        <p>Returns an Erlang term which is an example of a valid Erlang 
-          representation of a value of the ASN.1 type <c>Type</c>. The value
+        <p>Returns an Erlang term that is an example of a valid Erlang 
+          representation of a value of the <c>ASN.1</c> type <c>Type</c>. The value
           is a random value and subsequent calls to this function will for most
           types return different values.</p>
       </desc>
     </func>
+
     <func>
       <name>test(Module) -> ok | {error, Reason}</name>
       <name>test(Module, Type | Options) -> ok | {error, Reason}</name>
       <name>test(Module, Type, Value | Options) -> ok | {error, Reason}</name>
-      <fsummary>Perform a test of encode and decode for types in an ASN.1 module.</fsummary>
+      <fsummary>Performs a test of encode and decode for types in an ASN.1 module.</fsummary>
       <type>
         <v>Module = Type = atom()</v>
         <v>Value = term()</v>
@@ -376,9 +389,8 @@ File3.asn        </pre>
         <p>Performs a test of encode and decode of types in <c>Module</c>.
           The generated functions are called by this function.
           This function is useful during test to secure that the generated
-          encode and decode functions and the general runtime support work
-          as expected.</p>
-
+          encode and decode functions as well as the general runtime support
+          work as expected.</p>
         <list type="bulleted">
           <item>
             <p><c>test/1</c> iterates over all types in <c>Module</c>.</p>
@@ -390,14 +402,12 @@ File3.asn        </pre>
             <p><c>test/3</c> tests type <c>Type</c> with <c>Value</c>.</p>
           </item>
         </list>
-
-        <p>Schematically the following happens for each type in the module:</p>
+        <p>Schematically, the following occurs for each type in the module:</p>
         <code type="none">
 {ok, Value} = asn1ct:value(Module, Type),
 {ok, Bytes} = asn1ct:encode(Module, Type, Value),
 {ok, Value} = asn1ct:decode(Module, Type, Bytes).</code>
-
-        <p>The <c>test</c> functions utilizes the <c>*.asn1db</c> files
+        <p>The <c>test</c> functions use the <c>*.asn1db</c> files
           for all included modules. If they are located in a different
           directory than the current working directory, use the include
           option to add paths. This is only needed when automatically
diff --git a/lib/asn1/doc/src/asn1rt.xml b/lib/asn1/doc/src/asn1rt.xml
index 3cf56b01ca..f5c334c2ac 100644
--- a/lib/asn1/doc/src/asn1rt.xml
+++ b/lib/asn1/doc/src/asn1rt.xml
@@ -46,7 +46,7 @@
 
     <func>
       <name>decode(Module,Type,Bytes) -> {ok,Value}|{error,Reason}</name>
-      <fsummary>Decode from bytes into an ASN.1 value.</fsummary>
+      <fsummary>Decodes from Bytes into an ASN.1 value.</fsummary>
       <type>
         <v>Module = Type = atom()</v>
         <v>Value = Reason = term()</v>
@@ -61,7 +61,7 @@
 
     <func>
       <name>encode(Module,Type,Value)-> {ok,Bytes} | {error,Reason}</name>
-      <fsummary>Encode an ASN.1 value.</fsummary>
+      <fsummary>Encodes an ASN.1 value.</fsummary>
       <type>
         <v>Module = Type = atom()</v>
         <v>Value = term()</v>
@@ -69,12 +69,12 @@
         <v>Reason = term()</v>
       </type>
       <desc>
-        <p>Encodes <c>Value</c> of <c>Type</c> defined in the ASN.1
+        <p>Encodes <c>Value</c> of <c>Type</c> defined in the <c>ASN.1</c>
         module <c>Module</c>. Returns a binary if successful. To get
-        as fast execution as possible the encode function only
-        performs rudimentary tests that the input <c>Value</c> is a
-        correct instance of <c>Type</c>. The length of strings is, for
-        example, not always checked. </p>
+        as fast execution as possible, the encode function performs
+        only the rudimentary test that input <c>Value</c> is a correct
+        instance of <c>Type</c>. For example, the length of strings is
+        not always checked.</p>
 	<p>Use <c>Module:encode(Type, Value)</c> instead of this function.</p>
       </desc>
     </func>
@@ -88,23 +88,23 @@
         <v>Reason = term()</v>
       </type>
       <desc>
-        <p><c>info/1</c> returns the version of the asn1 compiler that was
+        <p>Returns the version of the <c>ASN.1</c> compiler that was
           used to compile the module. It also returns the compiler options
-          that was used.</p>
+          that were used.</p>
 	<p>Use <c>Module:info()</c> instead of this function.</p>
       </desc>
     </func>
 
     <func>
       <name>utf8_binary_to_list(UTF8Binary) ->  {ok,UnicodeList} | {error,Reason}</name>
-      <fsummary>Transforms an utf8 encoded binary to a unicode list.</fsummary>
+      <fsummary>Transforms an UTF8 encoded binary to a unicode list.</fsummary>
       <type>
         <v>UTF8Binary = binary()</v>
         <v>UnicodeList = [integer()]</v>
         <v>Reason = term()</v>
       </type>
       <desc>
-        <p><c>utf8_binary_to_list/1</c> Transforms a UTF8 encoded binary
+        <p>Transforms a UTF8 encoded binary
           to a list of integers, where each integer represents one
           character as its unicode value. The function fails if the binary
           is not a properly encoded UTF8 string.</p>
@@ -114,14 +114,14 @@
 
     <func>
       <name>utf8_list_to_binary(UnicodeList) ->  {ok,UTF8Binary} | {error,Reason}</name>
-      <fsummary>Transforms an unicode list ot an utf8 binary.</fsummary>
+      <fsummary>Transforms an unicode list to a UTF8 binary.</fsummary>
       <type>
         <v>UnicodeList = [integer()]</v>
         <v>UTF8Binary = binary()</v>
         <v>Reason = term()</v>
       </type>
       <desc>
-        <p><c>utf8_list_to_binary/1</c> Transforms a list of integers,
+        <p>Transforms a list of integers,
           where each integer represents one character as its unicode
           value, to a UTF8 encoded binary.</p>
 	<p>Use <seealso marker="stdlib:unicode#characters_to_binary-1">unicode:characters_to_binary/1</seealso> instead of this function.</p>
diff --git a/lib/asn1/doc/src/part.xml b/lib/asn1/doc/src/part.xml
index 735ec2e616..104aeb1f34 100644
--- a/lib/asn1/doc/src/part.xml
+++ b/lib/asn1/doc/src/part.xml
@@ -29,11 +29,14 @@
     <file>part.sgml</file>
   </header>
   <description>
-    <p>The <em>Asn1</em> application 
-      contains modules with compile-time and run-time support for ASN.1.
+    <p>The <c>ASN.1</c> application
+      contains modules with compile-time and runtime support for
+      Abstract Syntax Notation One (ASN.1).
       </p>
   </description>
-  <xi:include href="asn1_ug.xml"/>
+  <xi:include href="asn1_introduction.xml"/>
+  <xi:include href="asn1_overview.xml"/>
+  <xi:include href="asn1_getting_started.xml"/>
   <xi:include href="asn1_spec.xml"/>
 </part>
 
diff --git a/lib/asn1/doc/src/ref_man.xml b/lib/asn1/doc/src/ref_man.xml
index 0a0ed5416a..e157f542f3 100644
--- a/lib/asn1/doc/src/ref_man.xml
+++ b/lib/asn1/doc/src/ref_man.xml
@@ -21,7 +21,7 @@
     
     </legalnotice>
 
-    <title>Asn1 Reference Manual</title>
+    <title>ASN.1 Reference Manual</title>
     <prepared>OTP Team</prepared>
     <docno></docno>
     <date>1997-10-04</date>
@@ -29,8 +29,8 @@
     <file>application.sgml</file>
   </header>
   <description>
-    <p>The <em>Asn1</em> application 
-      contains modules with compile-time and run-time support for ASN.1.</p>
+    <p>The <c>ASN.1</c> application
+      contains modules with compile-time and runtime support for ASN.1.</p>
   </description>
   <xi:include href="asn1ct.xml"/>
   <xi:include href="asn1rt.xml"/>