Defined behavior for empty files