btw, in case it's not clear how to use it then do the following:
a) untar the files into php5/Zend
b) Apply zend_vm_gen.diff (this is a one time thingy which will be resolved
if the patch is applied).
c) Run php zend_vm_gen.php --help
There'll be some files which can be deleted later on if we use this method.
Andi
