method m(x)
  return x-(0-this);
end;