Introducing a SECD virtual machine for executing compiled Lisp programs