void ADT.Struct.Byte(void|int(0..255) initial_value)
The byte can be initialized with an optional value.