/* XXX ERROR -- could not find 'batch.js'*/