/* This file should be included indirectly through main.cpp */