Óscar Fuentes <ofv at wanadoo.es> writes: [snip] Fixed. Seems that 2.6 requires a bit more boilerplate for constants. The error messages thrown by the verifier are not helpful at all. It would be a good idea to document the <badref> thing. -- Óscar