#
# This type is nested in Value.
#

uint8[<=80] value