Constants at global scope and constant evaluator. The evaluator is not conformant as it doesn't do implicit type conversions yet, it assums the right hand side of an expression always has the same type as the left.