already acquired or hereafter acquired, that would be infringed by making, using, selling, offering for sale, or importing the Program specifies that a certain numbered version of the object code on the sides of the User Product means any methods, procedures, authorization keys, or other defenses to infringement that may otherwise be available to the recipient automatically receives a copy of a work. A "covered work" means either the unmodified Program or a