TH_PUSH top-level constant

int const TH_PUSH

Implementation

const int TH_PUSH = 8;