Runs map07-typed.js. This script uses Uint32Array to transfer objects to web workers.