HTREDUCE top-level constant

int const HTREDUCE

Implementation

const int HTREDUCE = 8;