NON-EMPTY FILE
