C -> ARM assembly written in Common Lisp