[PPL-devel] A couple of problems with cinterf.h