<?xml version='1.0' encoding='ISO-8859-1' standalone='no'?>
<!DOCTYPE interface-description SYSTEM 'file:///usr/pkgsrc/lang/oo2c/work.macaroon/oo2c_32-2.0.11/rsrc/OOC/xml/interface-description.dtd'>
<interface-description name='Object:BigInt' id=''>
  <import-decl name='Object' id='Object' export='no' module='Object'/>
  <import-decl name='Boxed' id='Boxed' export='no' module='Object:Boxed'/>
  <import-decl name='IO' id='IO' export='no' module='IO'/>
  <import-decl name='Storable' id='Storable' export='no' module='ADT:Storable'/>
  <type-decl name='Digit' id='Digit' export='no'>
    <type>
      <type-name module='#predef' name='INTEGER'/>
    </type>
  </type-decl>
  <type-decl name='DigitArray' id='DigitArray' export='no'>
    <type>
      <pointer>
        <pointer-base>
          <array>
            <element-type>
              <type-name module='#predef' name='Digit'/>
            </element-type>
          </array>
        </pointer-base>
      </pointer>
    </type>
  </type-decl>
  <var-decl name='zero' id='zero' export='read-only'>
    <type>
      <type-name name='BigInt' href='#BigInt'/>
    </type>
  </var-decl>
  <var-decl name='one' id='one' export='read-only'>
    <type>
      <type-name name='BigInt' href='#BigInt'/>
    </type>
  </var-decl>
  <import-decl name='-RT0' id='-RT0' export='no' module='RT0'/>
  <import-decl name='-Object' id='-Object' export='no' module='Object'/>
  <import-decl name='-Exception' id='-Exception' export='no' module='Exception'/>
  <class name='BigInt'>
    <type-decl name='BigInt' id='BigInt' export='yes'>
      <type>
        <pointer>
          <pointer-base>
            <type-name name='BigIntDesc' href='#BigIntDesc'/>
          </pointer-base>
        </pointer>
      </type>
    </type-decl>
    <type-decl name='BigIntDesc' id='BigIntDesc' export='no'>
      <type>
        <record/>
      </type>
    </type-decl>
    <procedure name='NewInt' id='NewInt' export='yes'>
      <formal-parameters>
        <parameter-decl name='int' id='NewInt.int' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Copy' id='BigIntDesc.Copy' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Copy.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='HashCode' id='BigIntDesc.HashCode' export='yes'>
      <doc-inherited-from module='Object' name='HashCode' class='Object' href='Object#ObjectDesc.HashCode'/>
      <oberon-doc>
        <summary>Returns a hash code value for the object.</summary>
        <p pad-after='yes' no-indent='yes'>Returns a hash code value for the object.  This method is supported for the benefit of dictionaries such as those provided by <oberon-module href='ADT:Dictionary#'>ADT:Dictionary</oberon-module>..</p>
        <p pad-after='yes' no-indent='no'>The general contract of <oberon-proc href='Object#ObjectDesc.HashCode'>Object.HashCode</oberon-proc> is:</p>
        <itemize pad-after='yes'>
          <itemize-mark><bullet/></itemize-mark>
          <item pad-after='yes'>
            <p pad-after='no' no-indent='yes'>Whenever it is invoked on the same object more than once during an execution of an application, the <oberon-proc href='Object#ObjectDesc.HashCode'>Object.HashCode</oberon-proc> method must consistently return the same integer, provided no information used in equals comparisons on the object is modified.  This integer need not remain consistent from one execution of an application to another execution of the same application.</p>
          </item>
          <item pad-after='yes'>
            <p pad-after='no' no-indent='yes'>If two objects are equal according to the <oberon-proc href='Object#ObjectDesc.Equals'>Object.Equals</oberon-proc> method, then calling the <oberon-proc href='Object#ObjectDesc.HashCode'>Object.HashCode</oberon-proc> method on each of the two objects must produce the same integer result.</p>
          </item>
          <item pad-after='no'>
            <p pad-after='no' no-indent='yes'>It is <emph>not</emph> required that if two objects are unequal according to the <oberon-proc href='Object#ObjectDesc.Equals'>Object.Equals</oberon-proc> method, then calling the <oberon-proc href='Object#ObjectDesc.HashCode'>Object.HashCode</oberon-proc> method on each of the two objects must produce distinct integer results.  However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of dictionaries.</p>
          </item>
        </itemize>
        <p pad-after='yes' no-indent='no'>As much as is reasonably practical, the <oberon-proc href='Object#ObjectDesc.HashCode'>Object.HashCode</oberon-proc> method defined by class <oberon-type href='Object#Object'>Object</oberon-type> does return distinct integers for distinct objects.  (This is typically implemented by converting the internal address of the object into an integer, but this implementation technique is not required.)</p>
      </oberon-doc>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.HashCode.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name module='Object' name='Hash' href='Object#Hash'/>
        </result-type>
      </formal-parameters>
      <redefined-method module='Object' name='HashCode' class='Object' href='Object#ObjectDesc.HashCode'/>
      <redefined-method module='Object' name='HashCode' class='Object' href='Object#ObjectDesc.HashCode'/>
      <redefined-method module='Object' name='HashCode' class='Object' href='Object#ObjectDesc.HashCode'/>
    </procedure>
    <procedure name='Equals' id='BigIntDesc.Equals' export='yes'>
      <doc-inherited-from module='Object' name='Equals' class='Object' href='Object#ObjectDesc.Equals'/>
      <oberon-doc>
        <summary>Indicates whether some other object is "equal to" this one.</summary>
        <p pad-after='yes' no-indent='yes'>Indicates whether some other object is "equal to" this one.</p>
        <p pad-after='yes' no-indent='no'>The <oberon-proc href='Object#ObjectDesc.Equals'>Object.Equals</oberon-proc> method implements an equivalence relation:</p>
        <itemize pad-after='yes'>
          <itemize-mark><bullet/></itemize-mark>
          <item pad-after='yes'>
            <p pad-after='no' no-indent='yes'>It is reflexive: for any reference value <samp>x</samp>, <samp>x.Equals(x)</samp> should return <code>TRUE</code>.</p>
          </item>
          <item pad-after='yes'>
            <p pad-after='no' no-indent='yes'>It is symmetric: for any reference values <samp>x</samp> and <samp>y</samp>, <samp>x.Equals(y)</samp> should return <code>TRUE</code> if and only if <samp>y.Equals(x)</samp> returns <code>TRUE</code>.</p>
          </item>
          <item pad-after='yes'>
            <p pad-after='no' no-indent='yes'>It is transitive: for any reference values <samp>x</samp>, <samp>y</samp>, and <samp>z</samp>, if <samp>x.Equals(y)</samp> returns <code>TRUE</code> and <samp>y.Equals(z)</samp> returns <code>TRUE</code>, then <samp>x.Equals(z)</samp> should return <code>TRUE</code>.</p>
          </item>
          <item pad-after='yes'>
            <p pad-after='no' no-indent='yes'>It is consistent: for any reference values <samp>x</samp> and <samp>y</samp>, multiple invocations of <samp>x.Equals(y)</samp> consistently return <code>TRUE</code> or consistently return <code>FALSE</code>, provided no information used in equals comparisons on the object is modified.</p>
          </item>
          <item pad-after='no'>
            <p pad-after='no' no-indent='yes'>For any non-<code>NIL</code> reference value <samp>x</samp>, <samp>x.Equals(NIL)</samp> should return <code>FALSE</code>.</p>
          </item>
        </itemize>
        <p pad-after='yes' no-indent='no'>The <samp>Equals</samp> method for class <oberon-type href='Object#Object'>Object</oberon-type> implements the most discriminating possible equivalence relation on objects; that is, for any reference values <samp>x</samp> and <samp>y</samp>, this method returns <code>TRUE</code> if and only if <samp>x</samp> and <samp>y</samp> refer to the same object (<samp>x=y</samp> has the value <code>TRUE</code>).</p>
      </oberon-doc>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Equals.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='b' id='BigIntDesc.Equals.b' export='no' variable-parameter='no'>
          <type>
            <type-name module='Object' name='Object' href='Object#Object'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name module='#predef' name='BOOLEAN'/>
        </result-type>
      </formal-parameters>
      <redefined-method module='Object' name='Equals' class='Object' href='Object#ObjectDesc.Equals'/>
      <redefined-method module='Object' name='Equals' class='Object' href='Object#ObjectDesc.Equals'/>
      <redefined-method module='Object' name='Equals' class='Object' href='Object#ObjectDesc.Equals'/>
    </procedure>
    <procedure name='IsZero' id='BigIntDesc.IsZero' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.IsZero.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name module='#predef' name='BOOLEAN'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='NonZero' id='BigIntDesc.NonZero' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.NonZero.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name module='#predef' name='BOOLEAN'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='ToLongInt' id='BigIntDesc.ToLongInt' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.ToLongInt.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name module='#predef' name='LONGINT'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Sign' id='BigIntDesc.Sign' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Sign.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name module='#predef' name='LONGINT'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Cmp' id='BigIntDesc.Cmp' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Cmp.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='b' id='BigIntDesc.Cmp.b' export='no' variable-parameter='no'>
          <type>
            <type-name module='Object' name='Object' href='Object#Object'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name module='#predef' name='LONGINT'/>
        </result-type>
      </formal-parameters>
      <redefined-method module='Object:Boxed' name='Cmp' class='Object' href='Object:Boxed#ObjectDesc.Cmp'/>
    </procedure>
    <procedure name='Abs' id='BigIntDesc.Abs' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Abs.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Neg' id='BigIntDesc.Neg' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Neg.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Add' id='BigIntDesc.Add' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Add.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='b' id='BigIntDesc.Add.b' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Sub' id='BigIntDesc.Sub' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Sub.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='b' id='BigIntDesc.Sub.b' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Mul' id='BigIntDesc.Mul' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Mul.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='b' id='BigIntDesc.Mul.b' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='DivMod' id='BigIntDesc.DivMod' export='yes'>
      <formal-parameters>
        <receiver-decl name='v' id='BigIntDesc.DivMod.v' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='w' id='BigIntDesc.DivMod.w' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <parameter-decl name='div' id='BigIntDesc.DivMod.div' export='no' variable-parameter='yes'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <parameter-decl name='mod' id='BigIntDesc.DivMod.mod' export='no' variable-parameter='yes'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
      </formal-parameters>
    </procedure>
    <procedure name='Div' id='BigIntDesc.Div' export='yes'>
      <formal-parameters>
        <receiver-decl name='v' id='BigIntDesc.Div.v' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='w' id='BigIntDesc.Div.w' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Mod' id='BigIntDesc.Mod' export='yes'>
      <formal-parameters>
        <receiver-decl name='v' id='BigIntDesc.Mod.v' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='w' id='BigIntDesc.Mod.w' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Format' id='BigIntDesc.Format' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Format.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='outputBase' id='BigIntDesc.Format.outputBase' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='Digit'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name module='Object' name='String8' href='Object#String8'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='ToString' id='BigIntDesc.ToString' export='yes'>
      <doc-inherited-from module='Object' name='ToString' class='Object' href='Object#ObjectDesc.ToString'/>
      <oberon-doc>
        <summary>Returns a string representation of the object.</summary>
        <p pad-after='yes' no-indent='yes'>Returns a string representation of the object.  Typically, the string is some form of <left-quote/>natural<right-quote/> representation of the value.  For complex objects, it should describe the type and essential attributes of the object.  The exact format of the returned value is intentionally left vague.</p>
      </oberon-doc>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.ToString.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name module='Object' name='String8' href='Object#String8'/>
        </result-type>
      </formal-parameters>
      <redefined-method module='Object:Boxed' name='ToString' class='Object' href='Object:Boxed#ObjectDesc.ToString'/>
      <redefined-method module='Object' name='ToString' class='Object' href='Object#ObjectDesc.ToString'/>
      <redefined-method module='Object' name='ToString' class='Object' href='Object#ObjectDesc.ToString'/>
    </procedure>
    <procedure name='NewLatin1Region' id='NewLatin1Region' export='yes'>
      <formal-parameters>
        <parameter-decl name='str' id='NewLatin1Region.str' export='no' variable-parameter='no'>
          <type>
            <array>
              <element-type>
                <type-name module='#predef' name='CHAR'/>
              </element-type>
            </array>
          </type>
        </parameter-decl>
        <parameter-decl name='start' id='NewLatin1Region.start' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <parameter-decl name='end' id='NewLatin1Region.end' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <parameter-decl name='inputBase' id='NewLatin1Region.inputBase' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='NewLatin1' id='NewLatin1' export='yes'>
      <formal-parameters>
        <parameter-decl name='str' id='NewLatin1.str' export='no' variable-parameter='no'>
          <type>
            <array>
              <element-type>
                <type-name module='#predef' name='CHAR'/>
              </element-type>
            </array>
          </type>
        </parameter-decl>
        <parameter-decl name='inputBase' id='NewLatin1.inputBase' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='New' id='New' export='yes'>
      <formal-parameters>
        <parameter-decl name='str' id='New.str' export='no' variable-parameter='no'>
          <type>
            <type-name name='STRING' href='#STRING'/>
          </type>
        </parameter-decl>
        <parameter-decl name='inputBase' id='New.inputBase' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Invert' id='BigIntDesc.Invert' export='yes'>
      <oberon-doc>
        <summary>Bitwise complement.</summary>
        <p pad-after='yes' no-indent='yes'>Bitwise complement.  The result equals <samp>-(a+1)</samp>.</p>
      </oberon-doc>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Invert.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='LShift' id='BigIntDesc.LShift' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.LShift.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='n' id='BigIntDesc.LShift.n' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='RShift' id='BigIntDesc.RShift' export='yes'>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.RShift.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='n' id='BigIntDesc.RShift.n' export='no' variable-parameter='no'>
          <type>
            <type-name module='#predef' name='LONGINT'/>
          </type>
        </parameter-decl>
        <result-type>
          <type-name name='BigInt' href='#BigInt'/>
        </result-type>
      </formal-parameters>
    </procedure>
    <procedure name='Store' id='BigIntDesc.Store' export='yes'>
      <doc-inherited-from module='ADT:Storable' name='Store' class='Object' href='ADT:Storable#ObjectDesc.Store'/>
      <oberon-doc>
        <summary>Stores data of <oberon-param href='#BigIntDesc.Store.a'>a</oberon-param> to <oberon-param href='#BigIntDesc.Store.w'>w</oberon-param>.</summary>
        <p pad-after='yes' no-indent='yes'>Stores data of <oberon-param href='#BigIntDesc.Store.a'>a</oberon-param> to <oberon-param href='#BigIntDesc.Store.w'>w</oberon-param>.  Nested record pointers are stored by calling the type-bound procedure <oberon-proc href='ADT:Storable#WriterDesc.WriteObject'>Writer.WriteObject</oberon-proc>.  The procedure is not allowed to make any changes to the global state of the program, except for calling the <samp>Write</samp> methods of the writer <oberon-param href='#BigIntDesc.Store.w'>w</oberon-param>.  Any redefinition of this procedure must include a super call, preferably as the first statement of the procedure body.</p>
        <pre-cond pad-after='yes'>
          <p pad-after='no' no-indent='yes'>This procedure is either activated by a super call, or from the procedure <oberon-proc href='ADT:Storable#WriterDesc.WriteObject'>Writer.WriteObject</oberon-proc>.</p>
        </pre-cond>
      </oberon-doc>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Store.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='w' id='BigIntDesc.Store.w' export='no' variable-parameter='no'>
          <type>
            <type-name module='Storable' name='Writer' href='ADT:Storable#Writer'/>
          </type>
        </parameter-decl>
        <exceptions>
          <type-name module='IO' name='Error' href='IO#Error'/>
        </exceptions>
      </formal-parameters>
      <redefined-method module='ADT:Storable' name='Store' class='Object' href='ADT:Storable#ObjectDesc.Store'/>
      <redefined-method module='ADT:Storable' name='Store' class='Object' href='ADT:Storable#ObjectDesc.Store'/>
    </procedure>
    <procedure name='Load' id='BigIntDesc.Load' export='yes'>
      <doc-inherited-from module='ADT:Storable' name='Load' class='Object' href='ADT:Storable#ObjectDesc.Load'/>
      <oberon-doc>
        <summary>Loads data of <oberon-param href='#BigIntDesc.Load.a'>a</oberon-param> from <oberon-param href='#BigIntDesc.Load.r'>r</oberon-param>.</summary>
        <p pad-after='yes' no-indent='yes'>Loads data of <oberon-param href='#BigIntDesc.Load.a'>a</oberon-param> from <oberon-param href='#BigIntDesc.Load.r'>r</oberon-param>.  Nested record pointers are loaded by calling the type-bound procecdure <oberon-proc href='ADT:Storable#ReaderDesc.ReadObject'>Reader.ReadObject</oberon-proc>.  This procedure must be symmetric to <oberon-proc href='ADT:Storable#ObjectDesc.Store'>Object.Store</oberon-proc>, or data internalization will break, causing undefined object state or program termination.</p>
        <p pad-after='yes' no-indent='no'>Note: When internalizing a file with alien objects, it is possible that the type-bound procedure <oberon-proc href='ADT:Storable#ObjectDesc.Load'>Object.Load</oberon-proc> is invoked more than once for a single object.  Except for the results of the last call, all duplicates are discarded.  Because of this, all changes by this procedure to any program state that is not part of the object <oberon-param href='#BigIntDesc.Load.a'>a</oberon-param> are deprecated.</p>
        <pre-cond pad-after='yes'>
          <p pad-after='no' no-indent='yes'>This procedure is either activated by a super call, or from the procedure <oberon-proc href='ADT:Storable#ReaderDesc.ReadObject'>Reader.ReadObject</oberon-proc>.</p>
        </pre-cond>
      </oberon-doc>
      <formal-parameters>
        <receiver-decl name='a' id='BigIntDesc.Load.a' export='no' variable-parameter='no'>
          <type>
            <type-name name='BigInt' href='#BigInt'/>
          </type>
        </receiver-decl>
        <parameter-decl name='r' id='BigIntDesc.Load.r' export='no' variable-parameter='no'>
          <type>
            <type-name module='Storable' name='Reader' href='ADT:Storable#Reader'/>
          </type>
        </parameter-decl>
        <exceptions>
          <type-name module='IO' name='Error' href='IO#Error'/>
        </exceptions>
      </formal-parameters>
      <redefined-method module='ADT:Storable' name='Load' class='Object' href='ADT:Storable#ObjectDesc.Load'/>
      <redefined-method module='ADT:Storable' name='Load' class='Object' href='ADT:Storable#ObjectDesc.Load'/>
    </procedure>
    <base-class module='Object:Boxed' class='Object' href='Object:Boxed#Object'>
      <inherited-method module='Object:Boxed' name='Cmp' class='Object' href='Object:Boxed#ObjectDesc.Cmp'/>
      <inherited-method module='Object:Boxed' name='ToString' class='Object' href='Object:Boxed#ObjectDesc.ToString'/>
      <base-class module='ADT:Storable' class='Object' href='ADT:Storable#Object'>
        <inherited-method module='ADT:Storable' name='Load' class='Object' href='ADT:Storable#ObjectDesc.Load'/>
        <inherited-method module='ADT:Storable' name='Store' class='Object' href='ADT:Storable#ObjectDesc.Store'/>
        <base-class module='Object' class='Object' href='Object#Object'>
          <inherited-method module='Object' name='Equals' class='Object' href='Object#ObjectDesc.Equals'/>
          <inherited-method module='Object' name='HashCode' class='Object' href='Object#ObjectDesc.HashCode'/>
        </base-class>
      </base-class>
    </base-class>
  </class>
  <module-ref name='Object'>
    <ref-target type='html' relative-uri='../Object.html'/>
  </module-ref>
  <module-ref name='ADT:Storable'>
    <ref-target type='html' relative-uri='../ADT/Storable.html'/>
  </module-ref>
  <module-ref name='IO'>
    <ref-target type='html' relative-uri='../IO.html'/>
  </module-ref>
  <module-ref name='Object:Boxed'>
    <ref-target type='html' relative-uri='Boxed.html'/>
  </module-ref>
  <module-ref name='ADT:Dictionary'>
    <ref-target type='html' relative-uri='../ADT/Dictionary.html'/>
  </module-ref>
</interface-description>
