// dummy script, to be called by self.importScripts(...)