psh12 top-level constant

int const psh12

Implementation

const int psh12 = 1035;