Cut-pasted constant definitions from main.cpp