function u = UidNaN()
  u = int64(9221345413589723543); % 0x7ff8cccc00316997
end
