s12 top-level constant

double const s12

Implementation

const double s12 = 12;