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