with Binary_File.Coff; package Binary_File.Format renames Binary_File.Coff;