@dedefd is defined
@emptied is defined