CD8A and HIV-1 infection: We first tested the very conservative assumption that thymic output is not affected by HIV-1 infection (i.e. similar to an age-matched healthy individual), these parameter changes turned out to be sufficient to mimic the dynamics of naive CD8+ T-cell numbers and their average TREC contents that were observed experimentally (Fig 3a).