TABLE users OF User NoDelete (
  user_id string AS UserID PK,
  email   string AS Email NoUpdate,
  name    string AS Name NoInsert,
  admin   bool   AS Admin NoInsert NoUpdate
);