Zero-Length Files

Whether a zero-length file actually exists (§4.9.3)

Files with a length of zero are permitted.