SBCL certainly produces an executable containing fully native machine code. You can ./run it just fine. I consider how it arranges that code (the "image" you s

SBCL certainly produces an executable containing fully native machine code. You can ./run it just fine. I consider how it arranges that code (the "image" you speak of) to be merely an implementation detail that the user is not concerned with.