section in, or with, or specifically for use of a covered work is specifically designed to ensure that it is available