MAXINTATOM top-level constant

int const MAXINTATOM

Implementation

const int MAXINTATOM = 49152;