non-source form of the modified object code in, or with, or specifically for use of a work. A "covered work" means either the unmodified Program. The output from running a covered work results from