[OverrideBuiltins]
module gui {
  typedef DOMString string;

};