A luajit bytecode interpreter written in RPython