function u = UidStruct()
  u = int64(9221345413589723540); % 0x7ff8cccc00316994
end
