Device-defined data types