2.4.3.5.2. Seq Lock Usage Example
do
{
  start = read_seqbegin (&sl);
  ...
}
while (read_seqretry (&sl, start);