W_PRIME top-level constant

int const W_PRIME

Implementation

const int W_PRIME = 1013;