/*
FLAG_DEFINITIONS.C

no symbols in this file.
*/