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