index does not get modified; also avoid potential problems in case int needs to be cast to a label of different size;