/*
 * TYPEDEF: EDCS_Count
 *
 *   This data type specifies an unsigned 32 bit integer.
 */
typedef unsigned long EDCS_Count;