Writing Memory Safe JIT Compilers
medium.com