A note useful (yet) wrapper for PHP around libjit