emacs: acl2 mode