// It might happen that locale.h defines ON and OFF. This is not good
// for us, since we use these names below. But of course this is due
// It might happen that locale.h defines ON and OFF. This is not good
// for us, since we use these names below. But of course this is due