User-defined value type