extern coverage IntCoverage( int X )
= { NEGATIVE = "negative"
  , ZERO     = "zero"
  , POSITIVE = "positive"
};