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