TABLE users OF User NoDelete (
  user_id string AS UserID PK
);