LABEL2 top-level constant

double const LABEL2

Implementation

const double LABEL2 = 14;