function u = UidNaN()
  u = int64(9221345413589723542); % 0x7ff8cccc00316996
end
