ALTER TABLE file
  ADD COLUMN vern int NOT NULL DEFAULT 0;