
<HTML><HEAD><TITLE>CosmicOS message</TITLE></HEAD>
<BODY BGCOLOR='#ffffff'>
<HR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT><A NAME='61'><FONT COLOR=red>#&nbsp;JAVA class translation 'COS_JThing'</FONT></A></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;Thu Jun 30 17:00:13 EDT 2005</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;Produced by Fritzifier, based on JasminVisitor</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;Using BCEL library to read Java bytecode</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;Here is the original code:</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;public class COS_JThing extends COS_JNamed {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;private COS_JRoom location;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;private COS_JRoom nextLocation;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;public void setRoom(COS_JRoom location) {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if (this.location!=null) {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;this.location.removeThing(this);</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;this.location = location;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;location.addThing(this);</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;this.nextLocation = location;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;public COS_JRoom getRoom() {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return location;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;public void setNextRoom(COS_JRoom location) {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;nextLocation = location;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;public void postUpdate() {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if (nextLocation!=location) {</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;setRoom(nextLocation);</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;}</TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>#&nbsp;</TT><BR>
<TT>[<A HREF='sound.cgi?s=21101100032100001100032322110111013211100110322110113203332210010011321100100032211100322111001103322210000110013302321101011133332210010011321100101132211003210010130232211101302321110011033023210010133322100100113211100000322110032100101302321001100032110010113023210010133322110111013210000001132211100111321100100032033322110111013210000110103221110011132110010003203332210010011321011100003221101032302321001101322211001010030232111001113211001000302321000100130232100003221101003203221001100033332211001010130232111001113211001000302321000033302321110101013221100101003322110010101330232110032111010100302321100321001013023210110101322210322100101332033221110101003211010000032033322210322100101332133221110101003211100011132101110000320320333222103221001013321033221110101003210111011333221110101003210111011333322100100113210111000132210011000321011100003332210010011321000011011322110103221110101113302321001101322211001010030232111001113211001000302321000100130232100003221101003203221001100033322110100321322111010111333322110010101302321110011132110010003023210000333023211101010132211001010033221100101013302321100321110101003023211003210010130232101101013222103221001013320332211101010032110100000320333222103221001013321332211101010032110100110321000000113221000010100333322210322100101332103322111010100321101111013211133322210322100101332113322111010100321101000003203332221032210010133210033221110101003211010011032100000011322100001010033332221032210010133210133221110101003211010000032033322210322100101332110332211101010032111000011321000011100321320333222103221001013321113322111010100321101000003203332221032210010133210003322111010100321101000003213332221032210010133210013322111010100321101010003210000001132210000101003333222103221001013321010332211101010032110100000321333222103221001013321011332211101010032110100000320333222103221001013321100332211101010032111000011321000011101321320333222103221001013321101332211101010032110100000320333222103221001013321110332211101010032110100000321333222103221001013321111332211101010032110101000321000011010322100001010033332221032210010133210000332211101010032101110113332211101010032101110113333221001001132100001111032210011000321000011011333221001001132100001111132211010323023210011013222110010100302321110011132110010003023210001001302321000032211010032032210011000333322110010101302321110011132110010003023210000333023211101010132211001010033221100101013302321100321110101003023211003210010130232101101013222103221001013320332211101010032110100000320333222103221001013321332211101010032110100110321000000113221000010100333322210322100101332103322111010100321110000013332211101010032101110113333221001001132100010000032210011000321000011111333221001001132100010000132211010322111010111330232100110132221100101003023211100111321100100030232100010013023210000322110100320322100110003332211010032132211101011133332211001010130232111001113211001000302321000033302321110101013221100101003322110010101330232110032111010100302321100321001013023210110101322210322100101332033221110101003211010000032033322210322100101332133221110101003211010000032133322210322100101332103322111010100321101010003210000110103221000010100333322210322100101332113322111010100321011101133322111010100321011101133332210010011321000100010322100110003210001000013332210010011321000100011322110103230232100110132221100101003023211100111321100100030232100010013023210000322110100320322100110003333221100101013023211100111321100100030232100003330232111010101322110010100332211001010133023211003211101010030232110032100101302321011010132221032210010133203322111010100321101000003203332221032210010133213322111010100321101001103210000110103221000010100333322210322100101332103322111010100321101000003203332221032210010133211332211101010032110100110321000000113221000010100333322210322100101332100332211101010032110111000321001333222103221001013321013322111010100321101000003203332221032210010133211033221110101003211010000032033322210322100101332111332211101010032110100110321000011010322100001010033332221032210010133210003322111010100321110000113210000110113213203332221032210010133210013322111010100321011101133322111010100321011101133332210010011321000100100322100110003210001000113332233'>hear</A>] </TT><TT>(class COS_JThing <font style='background-color: #cdffff'>()</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>(field super-ref </font><font style='background-color: #ff9bff'>(make-cell 0)</font><font style='background-color: #ffcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffffcd'>(method new </font><font style='background-color: #ffff9b'>(set! </font><font style='background-color: #ffff69'>(super-ref)</font><font style='background-color: #ffff9b'> </font><font style='background-color: #cdff9b'>(</font><font style='background-color: #9bff9b'>(COS_JNamed)</font><font style='background-color: #cdff9b'> / this)</font><font style='background-color: #ffff9b'>)</font><font style='background-color: #ffffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>(method super </font><font style='background-color: #9bffff'>(? x / </font><font style='background-color: #69ffff'>(get! / super-ref)</font><font style='background-color: #9bffff'> / x)</font><font style='background-color: #cdffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>(method unknown </font><font style='background-color: #ff9bff'>(? x / self super / x)</font><font style='background-color: #ffcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffffcd'>(field location </font><font style='background-color: #ffff9b'>(cell new 0)</font><font style='background-color: #ffffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>(field nextLocation </font><font style='background-color: #9bffff'>(cell new 0)</font><font style='background-color: #cdffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>(method &lt;init&gt;-V</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bff'>(lambda </font><font style='background-color: #ff69ff'>()</font><font style='background-color: #ff9bff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bff'>let </font><font style='background-color: #ff9bcd'>(</font><font style='background-color: #ff9b9b'>(vars / cell new / make-hash / vector</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9b69'>(pair 0 </font><font style='background-color: #ff9b37'>(self)</font><font style='background-color: #ff9b69'>)</font><font style='background-color: #ff9b9b'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cd9bcd'>(stack / cell new / vector)</font><font style='background-color: #ff9bcd'>)</font><font style='background-color: #ff9bff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bff'>state-machine </font><font style='background-color: #cd9bff'>(vars)</font><font style='background-color: #ff9bff'> </font><font style='background-color: #ff69ff'>(stack)</font><font style='background-color: #ff9bff'> / ? jvm / ? x / cond</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bcd'>(</font><font style='background-color: #ff9b9b'>(= </font><font style='background-color: #ff9b69'>(x)</font><font style='background-color: #ff9b9b'> 0)</font><font style='background-color: #ff9bcd'> </font><font style='background-color: #cd9bcd'>(jvm aload 0)</font><font style='background-color: #ff9bcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cd9bff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #699bff'>(x)</font><font style='background-color: #9b9bff'> 1)</font><font style='background-color: #cd9bff'> </font><font style='background-color: #cd69ff'>(jvm invokespecial &lt;init&gt;-V 0 0)</font><font style='background-color: #cd9bff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff69ff'>(</font><font style='background-color: #ff37ff'>(= </font><font style='background-color: #ff05ff'>(x)</font><font style='background-color: #ff37ff'> 2)</font><font style='background-color: #ff69ff'> </font><font style='background-color: #ff69cd'>(jvm return)</font><font style='background-color: #ff69ff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bcd'>(jvm return)</font><font style='background-color: #ff9bff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffffcd'>(method &lt;init&gt; </font><font style='background-color: #ffff9b'>(self &lt;init&gt;-V)</font><font style='background-color: #ffffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>(method setRoom-COS_JRoom-V</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffff'>(lambda </font><font style='background-color: #69ffff'>(arg0)</font><font style='background-color: #9bffff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffff'>let </font><font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(vars / cell new / make-hash / vector</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9b69ff'>(pair 0 </font><font style='background-color: #9b37ff'>(self)</font><font style='background-color: #9b69ff'>)</font><font style='background-color: #9b9bff'> </font><font style='background-color: #9b9bcd'>(pair 1 </font><font style='background-color: #9b9b9b'>(arg0)</font><font style='background-color: #9b9bcd'>)</font><font style='background-color: #9b9bff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdcd'>(stack / cell new / vector)</font><font style='background-color: #9bcdff'>)</font><font style='background-color: #9bffff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffff'>state-machine </font><font style='background-color: #9bffcd'>(vars)</font><font style='background-color: #9bffff'> </font><font style='background-color: #69ffff'>(stack)</font><font style='background-color: #9bffff'> / ? jvm / ? x / cond</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 0)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm aload 0)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 1)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm getfield location </font><font style='background-color: #37ffcd'>(COS_JRoom)</font><font style='background-color: #69ffcd'>)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 2)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm ifnull 7)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 3)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm aload 0)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 4)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm getfield location </font><font style='background-color: #37ffcd'>(COS_JRoom)</font><font style='background-color: #69ffcd'>)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 5)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm aload 0)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 6)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm invokevirtual removeThing-COS_JThing-V 1 0)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 7)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm aload 0)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 8)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm aload 1)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 9)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm putfield location </font><font style='background-color: #9bcd9b'>(COS_JRoom)</font><font style='background-color: #9bcdcd'>)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 10)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm aload 1)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 11)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm aload 0)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 12)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm invokevirtual addThing-COS_JThing-V 1 0)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 13)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm aload 0)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 14)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm aload 1)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 15)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm putfield nextLocation </font><font style='background-color: #9bcd9b'>(COS_JRoom)</font><font style='background-color: #9bcdcd'>)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 16)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm return)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(jvm return)</font><font style='background-color: #9bffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>(method setRoom </font><font style='background-color: #ff9bff'>(self setRoom-COS_JRoom-V)</font><font style='background-color: #ffcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffffcd'>(method getRoom-COS_JRoom</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ffff9b'>(lambda </font><font style='background-color: #ffff69'>()</font><font style='background-color: #ffff9b'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ffff9b'>let </font><font style='background-color: #cdff9b'>(</font><font style='background-color: #9bff9b'>(vars / cell new / make-hash / vector</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ff9b'>(pair 0 </font><font style='background-color: #37ff9b'>(self)</font><font style='background-color: #69ff9b'>)</font><font style='background-color: #9bff9b'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cdcd9b'>(stack / cell new / vector)</font><font style='background-color: #cdff9b'>)</font><font style='background-color: #ffff9b'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ffff9b'>state-machine </font><font style='background-color: #ffcd9b'>(vars)</font><font style='background-color: #ffff9b'> </font><font style='background-color: #ffff69'>(stack)</font><font style='background-color: #ffff9b'> / ? jvm / ? x / cond</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cdff9b'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #69ff9b'>(x)</font><font style='background-color: #9bff9b'> 0)</font><font style='background-color: #cdff9b'> </font><font style='background-color: #cdcd9b'>(jvm aload 0)</font><font style='background-color: #cdff9b'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcd9b'>(</font><font style='background-color: #ff9b9b'>(= </font><font style='background-color: #ff699b'>(x)</font><font style='background-color: #ff9b9b'> 1)</font><font style='background-color: #ffcd9b'> </font><font style='background-color: #ffcd69'>(jvm getfield location </font><font style='background-color: #ffcd37'>(COS_JRoom)</font><font style='background-color: #ffcd69'>)</font><font style='background-color: #ffcd9b'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ffff69'>(</font><font style='background-color: #ffff37'>(= </font><font style='background-color: #ffff05'>(x)</font><font style='background-color: #ffff37'> 2)</font><font style='background-color: #ffff69'> </font><font style='background-color: #cdff69'>(jvm areturn)</font><font style='background-color: #ffff69'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cdff9b'>(jvm return)</font><font style='background-color: #ffff9b'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>(method getRoom </font><font style='background-color: #9bffff'>(self getRoom-COS_JRoom)</font><font style='background-color: #cdffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>(method setNextRoom-COS_JRoom-V</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bff'>(lambda </font><font style='background-color: #ff69ff'>(arg0)</font><font style='background-color: #ff9bff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bff'>let </font><font style='background-color: #ff9bcd'>(</font><font style='background-color: #ff9b9b'>(vars / cell new / make-hash / vector</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9b69'>(pair 0 </font><font style='background-color: #ff9b37'>(self)</font><font style='background-color: #ff9b69'>)</font><font style='background-color: #ff9b9b'> </font><font style='background-color: #cd9b9b'>(pair 1 </font><font style='background-color: #9b9b9b'>(arg0)</font><font style='background-color: #cd9b9b'>)</font><font style='background-color: #ff9b9b'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cd9bcd'>(stack / cell new / vector)</font><font style='background-color: #ff9bcd'>)</font><font style='background-color: #ff9bff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bff'>state-machine </font><font style='background-color: #cd9bff'>(vars)</font><font style='background-color: #ff9bff'> </font><font style='background-color: #ff69ff'>(stack)</font><font style='background-color: #ff9bff'> / ? jvm / ? x / cond</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bcd'>(</font><font style='background-color: #ff9b9b'>(= </font><font style='background-color: #ff9b69'>(x)</font><font style='background-color: #ff9b9b'> 0)</font><font style='background-color: #ff9bcd'> </font><font style='background-color: #cd9bcd'>(jvm aload 0)</font><font style='background-color: #ff9bcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cd9bff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #699bff'>(x)</font><font style='background-color: #9b9bff'> 1)</font><font style='background-color: #cd9bff'> </font><font style='background-color: #cd69ff'>(jvm aload 1)</font><font style='background-color: #cd9bff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff69ff'>(</font><font style='background-color: #ff37ff'>(= </font><font style='background-color: #ff05ff'>(x)</font><font style='background-color: #ff37ff'> 2)</font><font style='background-color: #ff69ff'> </font><font style='background-color: #ff69cd'>(jvm putfield nextLocation </font><font style='background-color: #ff699b'>(COS_JRoom)</font><font style='background-color: #ff69cd'>)</font><font style='background-color: #ff69ff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #ff9bcd'>(</font><font style='background-color: #ff9b9b'>(= </font><font style='background-color: #ff9b69'>(x)</font><font style='background-color: #ff9b9b'> 3)</font><font style='background-color: #ff9bcd'> </font><font style='background-color: #cd9bcd'>(jvm return)</font><font style='background-color: #ff9bcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #cd9bff'>(jvm return)</font><font style='background-color: #ff9bff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffffcd'>(method setNextRoom </font><font style='background-color: #ffff9b'>(self setNextRoom-COS_JRoom-V)</font><font style='background-color: #ffffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>(method postUpdate-V</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffff'>(lambda </font><font style='background-color: #69ffff'>()</font><font style='background-color: #9bffff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffff'>let </font><font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(vars / cell new / make-hash / vector</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9b69ff'>(pair 0 </font><font style='background-color: #9b37ff'>(self)</font><font style='background-color: #9b69ff'>)</font><font style='background-color: #9b9bff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdcd'>(stack / cell new / vector)</font><font style='background-color: #9bcdff'>)</font><font style='background-color: #9bffff'> /</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffff'>state-machine </font><font style='background-color: #9bffcd'>(vars)</font><font style='background-color: #9bffff'> </font><font style='background-color: #69ffff'>(stack)</font><font style='background-color: #9bffff'> / ? jvm / ? x / cond</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 0)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm aload 0)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 1)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm getfield nextLocation </font><font style='background-color: #37ffcd'>(COS_JRoom)</font><font style='background-color: #69ffcd'>)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 2)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm aload 0)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 3)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm getfield location </font><font style='background-color: #9bcd9b'>(COS_JRoom)</font><font style='background-color: #9bcdcd'>)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 4)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm if_acmpeq 9)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 5)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm aload 0)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 6)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm aload 0)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(</font><font style='background-color: #9bff9b'>(= </font><font style='background-color: #9bff69'>(x)</font><font style='background-color: #9bff9b'> 7)</font><font style='background-color: #9bffcd'> </font><font style='background-color: #69ffcd'>(jvm getfield nextLocation </font><font style='background-color: #37ffcd'>(COS_JRoom)</font><font style='background-color: #69ffcd'>)</font><font style='background-color: #9bffcd'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #69ffff'>(</font><font style='background-color: #37ffff'>(= </font><font style='background-color: #05ffff'>(x)</font><font style='background-color: #37ffff'> 8)</font><font style='background-color: #69ffff'> </font><font style='background-color: #69cdff'>(jvm invokevirtual setRoom-COS_JRoom-V 1 0)</font><font style='background-color: #69ffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bcdff'>(</font><font style='background-color: #9b9bff'>(= </font><font style='background-color: #9b69ff'>(x)</font><font style='background-color: #9b9bff'> 9)</font><font style='background-color: #9bcdff'> </font><font style='background-color: #9bcdcd'>(jvm return)</font><font style='background-color: #9bcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<font style='background-color: #9bffcd'>(jvm return)</font><font style='background-color: #9bffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #cdffff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;&nbsp;&nbsp;<font style='background-color: #ffcdff'>(method postUpdate </font><font style='background-color: #ff9bff'>(self postUpdate-V)</font><font style='background-color: #ffcdff'>)</font></TT><BR>
<TT>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT><TT>&nbsp;);</TT><BR>
<BR>

</BODY>
</HTML>
