function u = UidEmpty()
  u = int64(9221345413589723537); % 0x7ff8cccc00316991
end