align="left" valign="top">
      <b><code>@warning:</code>&nbsp;...</b> </td><td>
      <code>@warn:</code>&nbsp;... </td></tr>
    
    <tr><td align="left" valign="top">
      <b><code>@requires:</code>&nbsp;...</b> </td><td>
      <code>@require:</code>&nbsp;... <br/>
      <code>@requirement:</code>&nbsp;... </td></tr>
    
    <tr><td align="left" valign="top">
      <b><code>@precondition:</code>&nbsp;...</b> </td><td>
      <code>@precond:</code>&nbsp;... </td></tr>
    
    <tr><td align="left" vali