14038a1644
A header-only file will be considered empty (this is not supposed to happen). This makes File ID poisoning more difficult.