begin
  lock   nil   do
end.