/* XXX ERROR -- could not find '++resource++base2-dom-fp.js'*/