psh15 top-level constant

int const psh15

Implementation

const int psh15 = 1038;