NID_time_stamp top-level constant

int const NID_time_stamp

Implementation

const int NID_time_stamp = 133;