4.4. Use of Declarations to Improve Efficiency http://ecls.sourceforge.net/new-manual/ch26s04.html chapter has code example, though function type proclamation in it isn't correct and parentheses don't match. Changing proclamation to (declaim (ftype (function (fixnum fixnum fixnum) fixnum) tak)) does work. Though it produces different code than shown.