/*
 * Copyright (C) 1996-1998 by the Board of Trustees
 *    of Leland Stanford Junior University.
 * 
 * This file is part of the SimOS distribution. 
 * See LICENSE file for terms of the license. 
 *
 */

/* Convert output from dis to a binary file (I am too lazy to read the coff directly) */
#include <stdio.h>
main()
{
   int data;
   int num_matches = 0;
   while( num_matches != EOF ) {
      num_matches = scanf("%x",&data);
      if( num_matches != 0 && num_matches != EOF )
         write( fileno(stdout), &data, 4);
   }
}