This code does do 'safety 0', which make lisp much closer to C (no array out-of-bounds checks, no int overflow checks among others).

There is no need for LuaJIT to generate completely unsafe code to achieve it's performance.