we don't actually need to write the length of the array as a separate field.