LABEL top-level constant

double const LABEL

Implementation

const double LABEL = 14;