I introduced DEFAULT because you need some value to distinguish it from a deliberate (user defined) WARNING. But I gauge that you already figured that out by your later comments :)