// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
interface A {
  stringifier DOMString ();
};

interface A {
  stringifier;
};