xcoff extended what file format?
(AND computer.file_format (JOIN computer.file_format.extended_to m.01xnvt))