[PPL-devel] New and improved C interface