ILFIVE is a library of Lisp objects in C, with an Ada-95 binding. It also features il5check, a matcher for list patterns.