lst12 top-level constant

int const lst12

Implementation

const int lst12 = 1131;