standard-symbols.js
symbol-registry.js