- explicitly use List<int> instead List<label> for API compatibility, even when 64-bit labels are in use.