static function highlight ($code)
  {
    $o = highlight_string ("<?php;$code ?>", true);
    $o = str_extract ($o, '%php</span>.*?</span>(.*)<span[^>]*>\?&gt;%s');
    return $o !== '' ? $o : $code;
  }