A not useful (yet) wrapper for PHP around libjit