method m(x)
  return x--3;
end;