/*
 * TYPEDEF: SRM_Byte_Positive
 *
 *   This data type specifies a positive byte.
 */
typedef unsigned char SRM_Byte_Positive;