michael@0: var f32 = new Float32Array(10);
michael@0: f32[0] = 5;
michael@0: var i = 0;
michael@0: do {
michael@0:     f32[i + 1] = f32[i] - 1;
michael@0:     i += 1;
michael@0: } while (f32[i]);
michael@0: