// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
[Constructor]
interface Student {
  attribute unsigned long id;
  stringifier attribute DOMString name;
};