lst13 top-level constant

int const lst13

Implementation

const int lst13 = 1132;