Re: [PPL-devel] ciaoc generates invalid glue code