/*
 * TYPEDEF: EDCS_Integer
 *
 *   This data type specifies a 32 bit integer.
 */
typedef int EDCS_Integer;