-- Run only in a fresh bhylu_mysql_lab seeded from repair-seed.sql.
SET NAMES utf8mb4 COLLATE utf8mb4_0900_ai_ci;
SET SESSION sql_mode = 'STRICT_TRANS_TABLES,ONLY_FULL_GROUP_BY,ERROR_FOR_DIVISION_BY_ZERO,NO_ENGINE_SUBSTITUTION';
SET SESSION time_zone = '+00:00';
SET SESSION lc_time_names = 'en_US';
CREATE TABLE checked_stock (
  id INT PRIMARY KEY,
  quantity INT NOT NULL,
  CONSTRAINT ck_stock_nonnegative CHECK (quantity >= 0)
) ENGINE=InnoDB;
INSERT INTO checked_stock VALUES (1,0),(2,5);
SELECT id, quantity FROM checked_stock ORDER BY id;