/* emptied */