It's remarkable that they support SAL; is actually anyone using it, or do people mostly use Lisp instead?