Now if their ATC software ran on Emacs lisp they wouldn't have had any problem.