Re: [PPL-devel] Print functions in C interface