"95%"><tbody>
<tr><td bgcolor="#ffffcc"><pre class="prog" id='prog28140'
>(<font color="#1919af"><strong id='bold35314'
>module</strong></font> <font color="#1919af"><strong id='bold35316'
>foo</strong></font>
   (java (array int* <font color="#00cf00"><strong id='bold35318'
>::int</strong></font>)
         (<strong id='bold35320'
>class</strong> bar
            (method static hello<font color="#00cf00"><strong id='bold35321'
>::int</strong></font> (<font color="#00cf00"><strong id='bold35323'
>::int*</stro