begin
  var v := 0;
  var p := procedure -> (v := v);
end.