https://github.com/w3c/webidl2.js https://dxr.mozilla.org/mozilla-central/source/dom/webidl/