method m(a)
  a := --1;
end;