You don't even need the first part of the condition - if the vector is empty, its size is 0, which is definitely `<= a_BlockIdx`, so the second condition catches that as well.