Assuming that record is a CopyRecord, we have only string-named own properties. recordNames returns those name reverse sorted, because that's how records are compared, encoded, and sorted.