TABLE users OF User NoDelete (
  user_id string AS UserID PK,
  email   string AS Email NoUpdate
);