define the data type used in this section