You're right, it should be the cornerstone of the article. Unfortunately it's relegated to note [3] and the postscript, where we learn that buggy C code was th

You're right, it should be the cornerstone of the article. Unfortunately it's relegated to note [3] and the postscript, where we learn that buggy C code was the cause of the integration engineer's Lisp headaches.