Do you think adding serial number in the output adds any value or should I just take it out? AVD names are unique anyways.