Now we have isFinishedBuf as a device_vector<int>. Yippee!