setup
{
	DROP TABLE IF EXISTS f;
	CREATE TABLE f (a int primary key, b int);
	INSERT INTO f values (1, 42);
}

session "s1"
step "begin"	{ BEGIN; }
step "update"	{ UPDATE f SET b = b + 1; }
step "commit"   { COMMIT; }

session "s2"
step "lock"	{ SELECT * FROM f FOR KEY SHARE; }

permutation "begin" "update" "update" "lock" "commit"