Hey, I will send the patch removing (improving) the no-inline hack separately. Changes since previous version include warning fixes Frediano reported privately, small improvements in the test code (added license, added config.h), compilation fixes for patch 10. Christophe