var ERROR = function (message) {
  this.getError = function () { return message; };
  this.toString = function () { return "<ERROR<" + message + ">>"; };
};