<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Thanks<br>
      <br>
      <br>
      <br>
      Tony Rogvall schreef op 30-1-2015 om 16:23:<br>
    </div>
    <blockquote
      cite="mid:EC8C855F-CBC6-49FE-9F19-E5BAE2C9AACA@rogvall.se"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      Perfect! Happy hacking.
      <div class=""><br class="">
      </div>
      <div class="">/Tony</div>
      <div class=""><br class="">
        <div>
          <blockquote type="cite" class="">
            <div class="">On 30 jan 2015, at 16:11, Roelof Wobben <<a
                moz-do-not-send="true" href="mailto:r.wobben@home.nl"
                class="">r.wobben@home.nl</a>> wrote:</div>
            <br class="Apple-interchange-newline">
            <div class="">
              <meta content="text/html; charset=windows-1252"
                http-equiv="Content-Type" class="">
              <div bgcolor="#FFFFFF" text="#000000" class="">
                <div class="moz-cite-prefix">I read now the erlamg
                  programming book.<br class="">
                  <br class="">
                  Roelof<br class="">
                  <br class="">
                  <br class="">
                  <br class="">
                  Tony Rogvall schreef op 30-1-2015 om 15:48:<br
                    class="">
                </div>
                <blockquote
                  cite="mid:F257CF67-5209-44D0-ADA8-0AC5C9B78789@rogvall.se"
                  type="cite" class="">
                  <meta http-equiv="Content-Type" content="text/html;
                    charset=windows-1252" class="">
                  Hi Roelof!
                  <div class=""><br class="">
                  </div>
                  <div class="">Have you ever thought about picking up a
                    programming book?</div>
                  <div class=""><br class="">
                  </div>
                  <div class="">There is a very good one that is free
                    and you can read it online.</div>
                  <div class=""><br class="">
                  </div>
                  <div class="">Here is a link: <a
                      moz-do-not-send="true"
                      href="http://learnyousomeerlang.com/content"
                      class="">http://learnyousomeerlang.com/content</a></div>
                  <div class=""><br class="">
                  </div>
                  <div class="">Have fun.</div>
                  <div class=""><br class="">
                  </div>
                  <div class="">/Tony</div>
                  <div class=""><br class="">
                  </div>
                  <div class=""><br class="">
                    <div class="">
                      <blockquote type="cite" class="">
                        <div class="">On 30 jan 2015, at 08:15, Roelof
                          Wobben <<a moz-do-not-send="true"
                            href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>>
                          wrote:</div>
                        <br class="Apple-interchange-newline">
                        <div class="">
                          <div class="moz-cite-prefix"
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);">Rick
                            Pettit schreef op 29-1-2015 om 22:49:<br
                              class="">
                          </div>
                          <blockquote
                            cite="mid:8EBFB5ED-2253-413B-B1BB-B13F020D2376@vailsys.com"
                            type="cite" style="font-family: Helvetica;
                            font-size: 12px; font-style: normal;
                            font-variant: normal; font-weight: normal;
                            letter-spacing: normal; line-height: normal;
                            orphans: auto; text-align: start;
                            text-indent: 0px; text-transform: none;
                            white-space: normal; widows: auto;
                            word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">Roelof,
                            <div class=""><br class="">
                            </div>
                            <div class="">You don’t need a variable if
                              you don’t care about the return value of
                              the function you are calling.</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">To be clear, your problem with
                              the badmatch is due to Db2 already having
                              a value assigned which is not equal to the
                              atom ‘ok’.</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">Try this at the shell to see
                              what that value is:</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">   <span
                                class="Apple-converted-space"> </span>Db2.

                                 % don’t forget the period there</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">More than likely it is set to
                              {ok}, which is what you previously had
                              db:destroy/1 returning.</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">Since erlang is a
                              single-assignment language, you cannot
                              simply assign a different value to Db2
                              once it is bound.</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">You *can* use syntax that
                              appears just like an assignment and have
                              that work, provided the value returned
                              from the function matches exactly the
                              value currently bound to the variable on
                              the left-hand side of the “=“.</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">For example:</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">
                              <div class="" style="margin: 0px;
                                font-size: 11px; font-family: Menlo;">
                                <div class="" style="margin: 0px;">Erlang/OTP
                                  17 [erts-6.2] [source] [64-bit]
                                  [smp:8:8] [async-threads:10] [hipe]
                                  [kernel-poll:false]</div>
                                <div class="" style="margin: 0px;
                                  min-height: 13px;"><br class="">
                                </div>
                                <div class="" style="margin: 0px;">Eshell
                                  V6.2  (abort with ^G)</div>
                                <div class="" style="margin: 0px;">1>
                                  Db2 = {ok}.</div>
                                <div class="" style="margin: 0px;">{ok}</div>
                                <div class="" style="margin: 0px;">2>
                                  Db2.</div>
                                <div class="" style="margin: 0px;">{ok}</div>
                                <div class="" style="margin: 0px;">3>
                                  Db2 = {ok}.</div>
                                <div class="" style="margin: 0px;">{ok}</div>
                                <div class="" style="margin: 0px;">4>
                                  Db2 = ok.</div>
                                <div class="" style="margin: 0px;">**
                                  exception error: no match of right
                                  hand side value ok</div>
                                <div class="" style="margin: 0px;">5>
                                  Db2 = {ok}.</div>
                                <div class="" style="margin: 0px;">{ok}</div>
                                <div class="" style="margin: 0px;">6>
                                  f(Db2).</div>
                                <div class="" style="margin: 0px;">ok</div>
                                <div class="" style="margin: 0px;">7>
                                  Db2 = ok.</div>
                                <div class="" style="margin: 0px;">ok</div>
                                <div class="" style="margin: 0px;">8>
                                  Db2 = {ok}.</div>
                                <div class="" style="margin: 0px;">**
                                  exception error: no match of right
                                  hand side value {ok}</div>
                                <div class="" style="margin: 0px;">9>
                                  Db2 = ok.</div>
                                <div class="" style="margin: 0px;">ok</div>
                                <div class=""><br class="">
                                </div>
                              </div>
                            </div>
                            <div class="">===</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">Here’s what’s going on there:</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">1. I bound the value {ok} to
                              the variable Db2</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">2. I check the value of Db2</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">3. I “assign” Db2 the same
                              value — this isn’t really an assignment
                              now, it is a match, and in this case both
                              the left-hand side and right-hand side
                              have same value, so match succeeds</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">4. I attempt to assign Db2 a
                              different value—since Db2 was bound to
                              {ok} and the right-hand side now has ‘ok’,
                              that match fails—thus the match error</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">5. I “assign” Db2 the original
                              value — again, this isn’t really an
                              assignment, it is a match, which again
                              succeeds for same reason as (3) above</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">6. I use the f() function at
                              the shell to “forget” about the value
                              previously bound to Db2, effectively
                              making Db2 unbound to any value (and as
                              such it can now be assigned any value)</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">7. I assign a different value,
                              this time ‘ok’, to Db2 — no errors that
                              time, because it was an assignment, not a
                              match</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">8. I attempt to match Db2 with
                              the previous value—and there’s that match
                              error again</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">9. I “assign” Db2 the new
                              value again—now it is a match, and the
                              match is good so no error</div>
                            <div class=""><br class="">
                            </div>
                            <div class=""><br class="">
                            </div>
                            <div class="">Does that make sense now?</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">-Rick</div>
                            <div class=""><br class="">
                              <div class="">
                                <blockquote type="cite" class="">
                                  <div class="">On Jan 29, 2015, at 1:53
                                    PM, Roelof Wobben <<a
                                      moz-do-not-send="true"
                                      href="mailto:r.wobben@home.nl"
                                      class="">r.wobben@home.nl</a>>
                                    wrote:</div>
                                  <br class="Apple-interchange-newline">
                                  <div class="">
                                    <div bgcolor="#FFFFFF"
                                      text="#000000" class="">
                                      <div class="moz-cite-prefix">I did
                                        some trail and error and saw
                                        this :<br class="">
                                        <br class="">
                                        c(db).                                                                                                                                                                             

                                        <div data-row="2"
                                          class="terminal-row">{ok,db}                                                                                                                                                                                </div>
                                        <div data-row="3"
                                          class="terminal-row">14> Db1 = db:new().                                                                                                                                                                    </div>
                                        <div data-row="4"
                                          class="terminal-row">[]                                                                                                                                                                                     </div>
                                        <div data-row="5"
                                          class="terminal-row">15> Db2 = db:destroy(Db1).                                                                                                                                                             </div>
                                        <div data-row="6"
                                          class="terminal-row">** exception error: no match of right hand side value ok                                                                                                                               </div>
                                        <div data-row="7"
                                          class="terminal-row">16> db:destroy(Db1).                                                                                                                                                                   </div>
                                        ok                 <span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                        <br class="">
                                        So it seems you do not have to
                                        use a variable when destroying.<span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                        <br class="">
                                        Roelof<br class="">
                                        <br class="">
                                        <br class="">
                                        <br class="">
                                        Rick Pettit schreef op 29-1-2015
                                        om 20:40:<br class="">
                                      </div>
                                      <blockquote
                                        cite="mid:20C06585-CD06-4404-9EB3-D5D5529580BD@vailsys.com"
                                        type="cite" class="">Oops, meant
                                        to add that as for the exception
                                        error no match of right hand
                                        side value ok, is it possible
                                        you previously bound the
                                        variable Db2 at the shell?
                                        <div class=""><br class="">
                                        </div>
                                        <div class="">If so, then though
                                          what you have appears to be an
                                          assignment, it is actually a
                                          match, and one which has
                                          failed because Db2 has been
                                          bound to a value other than
                                          ‘ok’.</div>
                                        <div class=""><br class="">
                                        </div>
                                        <div class="">You can do the
                                          following if you want the
                                          shell to “forget” about Db2’s
                                          previous value, effectively
                                          unbinding it and allowing for
                                          a subsequent assignment to a
                                          different value:</div>
                                        <div class=""><br class="">
                                        </div>
                                        <div class="">   <span
                                            class="Apple-converted-space"> </span>f(Db2).</div>
                                        <div class=""><br class="">
                                        </div>
                                        <div class="">-Rick</div>
                                        <div class=""><br class="">
                                          <div class="">
                                            <blockquote type="cite"
                                              class="">
                                              <div class="">On Jan 29,
                                                2015, at 1:38 PM, Rick
                                                Pettit <<a
                                                  moz-do-not-send="true"
href="mailto:rpettit@vailsys.com" class="">rpettit@vailsys.com</a>>
                                                wrote:</div>
                                              <br
                                                class="Apple-interchange-newline">
                                              <div class="">
                                                <div class=""
                                                  style="word-wrap:
                                                  break-word;
                                                  -webkit-nbsp-mode:
                                                  space;
                                                  -webkit-line-break:
                                                  after-white-space;">Your

                                                  db:destroy/1 function
                                                  doesn’t use the
                                                  parameter passed
                                                  in—thus the error
                                                  about ‘Db’ being
                                                  unused.
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class="">Since
                                                    nothing is actually
                                                    being “destroyed”
                                                    there, you have a
                                                    couple options:</div>
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class=""> <span
                                                      class="Apple-converted-space"> </span>(1)

                                                    modify destroy so it
                                                    takes no arguments
                                                    (kind of
                                                    pointless—might as
                                                    well do away with
                                                    the function
                                                    altogether)</div>
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class=""> <span
                                                      class="Apple-converted-space"> </span>(2)

                                                    rewrite the function
                                                    head like so to
                                                    inform the compiler
                                                    you don’t care to
                                                    use Db in the
                                                    function body:</div>
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class="">destroy(_Db)
                                                    -></div>
                                                  <div class=""> <span
                                                      class="Apple-converted-space"> </span>ok.</div>
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class=""><br
                                                      class="">
                                                  </div>
                                                  <div class="">-Rick</div>
                                                  <div class=""><br
                                                      class="">
                                                    <div class="">
                                                      <blockquote
                                                        type="cite"
                                                        class="">
                                                        <div class="">On
                                                          Jan 29, 2015,
                                                          at 1:25 PM,
                                                          Roelof Wobben
                                                          <<a
                                                          moz-do-not-send="true"
href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>> wrote:</div>
                                                        <br
                                                          class="Apple-interchange-newline">
                                                        <div class="">
                                                          <div
                                                          class="moz-cite-prefix"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">Rick
                                                          Pettit schreef
                                                          op 29-1-2015
                                                          om 20:16:<br
                                                          class="">
                                                          </div>
                                                          <blockquote
                                                          cite="mid:55690AB8-242D-4061-BC51-97846B0E76DB@vailsys.com"
                                                          type="cite"
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">Comments

                                                          inline below.
                                                          <div class=""><br
                                                          class="">
                                                          </div>
                                                          <div class="">-Rick</div>
                                                          <div class=""><br
                                                          class="">
                                                          <div class="">
                                                          <blockquote
                                                          type="cite"
                                                          class="">
                                                          <div class="">On

                                                          Jan 29, 2015,
                                                          at 1:14 PM,
                                                          Roelof Wobben
                                                          <<a
                                                          moz-do-not-send="true"
href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>> wrote:</div>
                                                          <br
                                                          class="Apple-interchange-newline">
                                                          <div class="">
                                                          <div
                                                          bgcolor="#FFFFFF"
                                                          text="#000000"
                                                          class="">
                                                          <div
                                                          class="moz-cite-prefix"><a
moz-do-not-send="true" class="moz-txt-link-abbreviated"
                                                          href="mailto:e@bestmx.net">e@bestmx.net</a><span
class="Apple-converted-space"> </span>schreef op 29-1-2015 om 20:06:<br
                                                          class="">
                                                          </div>
                                                          <blockquote
                                                          cite="mid:54CA84BD.6090908@bestmx.net"
                                                          type="cite"
                                                          class="">
                                                          <blockquote
                                                          type="cite"
                                                          class="">So i
                                                          have to make a
                                                          tuple of the
                                                          data and add
                                                          it in a list.<span
class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          I thought I
                                                          could do
                                                          something like
                                                          this :<span
                                                          class="Apple-converted-space"> </span><br
                                                          class="">
                                                          <br class="">
                                                          write(Key,
                                                          Data, Db)
                                                          -><span
                                                          class="Apple-converted-space"> </span><br
                                                          class="">
                                                            <span
                                                          class="Apple-converted-space"> </span>[
                                                          {key, data} |
                                                          Db ]<span
                                                          class="Apple-converted-space"> </span><br
                                                          class="">
                                                          <br class="">
                                                          but then I see
                                                          some error
                                                          messages.<span
class="Apple-converted-space"> </span><br class="">
                                                          </blockquote>
                                                          <br class="">
                                                          what messages?<span
class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          as far as i
                                                          can _theorize_<span
class="Apple-converted-space"> </span><br class="">
                                                          the most
                                                          probably your
                                                          Db is not a
                                                          list, and it
                                                          should be.<span
class="Apple-converted-space"> </span><br class="">
_______________________________________________<span
                                                          class="Apple-converted-space"> </span><br
                                                          class="">
                                                          erlang-questions

                                                          mailing list<span
class="Apple-converted-space"> </span><br class="">
                                                          <a
                                                          moz-do-not-send="true"
class="moz-txt-link-abbreviated"
                                                          href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><span
class="Apple-converted-space"> </span><br class="">
                                                          <a
                                                          moz-do-not-send="true"
class="moz-txt-link-freetext"
                                                          href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><span
class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          </blockquote>
                                                          <br class="">
                                                          Here is my
                                                          code so far :<span
class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          -module(db).<br
                                                          class="">
                                                          <br class="">
                                                          -export([new/0,

                                                          destroy/1]).<br
                                                          class="">
                                                          <br class="">
                                                          new() -><br
                                                          class="">
                                                           <span
                                                          class="Apple-converted-space"> </span>[].<br
                                                          class="">
                                                          <br class="">
                                                          destroy(Db)
                                                          -><br
                                                          class="">
                                                           <span
                                                          class="Apple-converted-space"> </span>{ok}.<br
                                                          class="">
                                                          </div>
                                                          </div>
                                                          </blockquote>
                                                          <div class=""><br
                                                          class="">
                                                          </div>
                                                          <div class="">Why

                                                          are you
                                                          returning a
                                                          tuple here
                                                          instead of
                                                          simply ‘ok’ ?</div>
                                                          <br class="">
                                                          </div>
                                                          </div>
                                                          </blockquote>
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">Because

                                                          of this output
                                                          :<span
                                                          class="Apple-converted-space"> </span></span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <div
                                                          data-row="1"
                                                          class="terminal-row"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">10> c(db).                                                                                                                                                                             </div>
                                                          <div
                                                          data-row="2"
                                                          class="terminal-row"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">db.erl:8: Warning: variable 'Db' is unused                                                                                                                                             </div>
                                                          <div
                                                          data-row="3"
                                                          class="terminal-row"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">{ok,db}                                                                                                                                                                                </div>
                                                          <div
                                                          data-row="4"
                                                          class="terminal-row"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">11> Db1 = db:new().                                                                                                                                                                    </div>
                                                          <div
                                                          data-row="5"
                                                          class="terminal-row"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">[]                                                                                                                                                                                     </div>
                                                          <div
                                                          data-row="6"
                                                          class="terminal-row"
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">12> Db2 = db:destroy(Db1).                                                                                                                                                             </div>
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">** exception error: no match of right hand side value ok         <span
class="Apple-converted-space"> </span></span><br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">When

                                                          I do this :<span
class="Apple-converted-space"> </span></span><br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">-module(db).</span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">-export([new/0,

                                                          destroy/1,
                                                          write/3]).</span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">new()

                                                          -></span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;"> <span
class="Apple-converted-space"> </span>[].</span><br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">destroy(Db)

                                                          -></span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;"> <span
class="Apple-converted-space"> </span>ok.</span><br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">write(Key,

                                                          Element, Db)
                                                          -></span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">  <span
class="Apple-converted-space"> </span>[ {Key, Element} | Db ].<span
                                                          class="Apple-converted-space"> </span></span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">Roelof</span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <br class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">_______________________________________________</span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <span class=""
                                                          style="font-family:

                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255); float:
                                                          none; display:
                                                          inline
                                                          !important;">erlang-questions

                                                          mailing list</span><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <a
                                                          moz-do-not-send="true"
href="mailto:erlang-questions@erlang.org" class="" style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">erlang-questions@erlang.org</a><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                          <a
                                                          moz-do-not-send="true"
href="http://erlang.org/mailman/listinfo/erlang-questions" class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">http://erlang.org/mailman/listinfo/erlang-questions</a><br
                                                          class=""
                                                          style="font-family:
                                                          Helvetica;
                                                          font-size:
                                                          12px;
                                                          font-style:
                                                          normal;
                                                          font-variant:
                                                          normal;
                                                          font-weight:
                                                          normal;
                                                          letter-spacing:
                                                          normal;
                                                          line-height:
                                                          normal;
                                                          orphans: auto;
                                                          text-align:
                                                          start;
                                                          text-indent:
                                                          0px;
                                                          text-transform:
                                                          none;
                                                          white-space:
                                                          normal;
                                                          widows: auto;
                                                          word-spacing:
                                                          0px;
                                                          -webkit-text-stroke-width:
                                                          0px;
                                                          background-color:
                                                          rgb(255, 255,
                                                          255);">
                                                        </div>
                                                      </blockquote>
                                                    </div>
                                                    <br class="">
                                                  </div>
                                                </div>
                                              </div>
                                            </blockquote>
                                          </div>
                                          <br class="">
                                        </div>
                                      </blockquote>
                                      <br class="">
                                    </div>
_______________________________________________<br class="">
                                    erlang-questions mailing list<br
                                      class="">
                                    <a moz-do-not-send="true"
                                      href="mailto:erlang-questions@erlang.org"
                                      class="">erlang-questions@erlang.org</a><br
                                      class="">
                                    <a moz-do-not-send="true"
                                      class="moz-txt-link-freetext"
                                      href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><br
                                      class="">
                                  </div>
                                </blockquote>
                              </div>
                              <br class="">
                            </div>
                          </blockquote>
                          <br style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <span style="font-family: Helvetica;
                            font-size: 12px; font-style: normal;
                            font-variant: normal; font-weight: normal;
                            letter-spacing: normal; line-height: normal;
                            orphans: auto; text-align: start;
                            text-indent: 0px; text-transform: none;
                            white-space: normal; widows: auto;
                            word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255); float:
                            none; display: inline !important;" class="">Thanks
                            all, this problem is also solved.</span><br
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <br style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <span style="font-family: Helvetica;
                            font-size: 12px; font-style: normal;
                            font-variant: normal; font-weight: normal;
                            letter-spacing: normal; line-height: normal;
                            orphans: auto; text-align: start;
                            text-indent: 0px; text-transform: none;
                            white-space: normal; widows: auto;
                            word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255); float:
                            none; display: inline !important;" class="">Roelof</span><br
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <br style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <span style="font-family: Helvetica;
                            font-size: 12px; font-style: normal;
                            font-variant: normal; font-weight: normal;
                            letter-spacing: normal; line-height: normal;
                            orphans: auto; text-align: start;
                            text-indent: 0px; text-transform: none;
                            white-space: normal; widows: auto;
                            word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255); float:
                            none; display: inline !important;" class="">_______________________________________________</span><br
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <span style="font-family: Helvetica;
                            font-size: 12px; font-style: normal;
                            font-variant: normal; font-weight: normal;
                            letter-spacing: normal; line-height: normal;
                            orphans: auto; text-align: start;
                            text-indent: 0px; text-transform: none;
                            white-space: normal; widows: auto;
                            word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255); float:
                            none; display: inline !important;" class="">erlang-questions

                            mailing list</span><br style="font-family:
                            Helvetica; font-size: 12px; font-style:
                            normal; font-variant: normal; font-weight:
                            normal; letter-spacing: normal; line-height:
                            normal; orphans: auto; text-align: start;
                            text-indent: 0px; text-transform: none;
                            white-space: normal; widows: auto;
                            word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <a moz-do-not-send="true"
                            href="mailto:erlang-questions@erlang.org"
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">erlang-questions@erlang.org</a><br
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                          <a moz-do-not-send="true"
                            href="http://erlang.org/mailman/listinfo/erlang-questions"
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">http://erlang.org/mailman/listinfo/erlang-questions</a><br
                            style="font-family: Helvetica; font-size:
                            12px; font-style: normal; font-variant:
                            normal; font-weight: normal; letter-spacing:
                            normal; line-height: normal; orphans: auto;
                            text-align: start; text-indent: 0px;
                            text-transform: none; white-space: normal;
                            widows: auto; word-spacing: 0px;
                            -webkit-text-stroke-width: 0px;
                            background-color: rgb(255, 255, 255);"
                            class="">
                        </div>
                      </blockquote>
                    </div>
                    <br class="">
                  </div>
                </blockquote>
                <br class="">
              </div>
              _______________________________________________<br
                class="">
              erlang-questions mailing list<br class="">
              <a moz-do-not-send="true"
                href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br
                class="">
              <a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><br
                class="">
            </div>
          </blockquote>
        </div>
        <br class="">
      </div>
    </blockquote>
    <br>
  </body>
</html>