/* * This defines the size of the trace flags array. */