Yeah, a default ordering could be chosen (e.g. alphabetical or to minimize wasted padding due to alignment). We can always add that later if it becomes compelling to do so.