this is what magic thinks of the file (plus the .def file that OpenTriton doesn't get around to reading)