method m()
  while this do
    var x:=this;
    if this then
    else
      var x:=this;
    end;
  end;
end;