method m(x)
  return this<-9;
end;