// The JThreads/C++ license number
const char* JTCLicense = "non-commercial";