</lurk> Just a small thought. 'invariant' just looks un-'C'-like. We are happy with int and const.. Could I propose 'inv' (as well) to save fingers? <lurk>