HTTOP top-level constant

int const HTTOP

Implementation

const int HTTOP = 12;