Z3_D4 top-level constant

int const Z3_D4

Implementation

const int Z3_D4 = 10;