3 of the object code in, or with, or specifically for use of the GNU General Public License is designed specifically to ensure that data can be overwritten by users in the normal form of a work. A "covered work" means either the unmodified Program or a