Over decades, I don't think OFAC would keep track of these ones. For example if it is 500K of sats, and it is the year 2070 I don't think it would matter anymore.