Source original MODULE emPty empty is not used. empty does not use anything. empty declares nothing. empty does not include anything. END MODULE emPty