Ah - OK, that's a good enough reason to declare separately !