lst15 top-level constant

int const lst15

Implementation

const int lst15 = 1134;