[PPL-devel] Re: [Xsb-development] A couple of problems with cinterf.h