/*
 * TYPEDEF: EDCS_Short_Integer_Unsigned
 *
 *   This data type specifies an unsigned 16 bit integer.
 */
typedef unsigned short EDCS_Short_Integer_Unsigned;