@ An array with one element
array SingleElement = [1] U32