/*
 * TYPEDEF: SE_Short_Integer
 *
 *   This data type specifies a 16 bit integer.
 */
typedef short SE_Short_Integer;