psh13 top-level constant

int const psh13

Implementation

const int psh13 = 1036;