java.io.File file = new java.io.File(args[0]);
try {
BinaryFile binFile = new BinaryBufferedFile(file);
// BinaryFile binFile = new BinaryFile(file);
DTEDFrameDSI dfd = new DTEDFrameDSI(binFile);
Debug.output(dfd.toString());
} catch (java.io.FileNotFoundException e) {