ProC: symbolic constants in the declare section?

Original text of this message