NUMPRS_STD top-level constant

int const NUMPRS_STD

Implementation

const int NUMPRS_STD = 8191;