WCOREFLAG top-level constant

int const WCOREFLAG

Implementation

const int WCOREFLAG = 128;