CFFI grovel outputs to *DEBUG-IO* (in INVOKE), I think it should better output to ASDF::*VERBOSE-OUT*. Reason is that this way, CFFI grovel will automatically play nice with ASDF's :VERBOSE keyword parameter. -T.