* $Source$
* $Header$
*/
+/* (c) Copyright 1988 by the Massachusetts Institute of Technology. */
+/* For copying and distribution information, please see the file */
+/* <mit-copyright.h>. */
#ifndef lint
static char *rcsid_send_file_c = "$Header$";
#endif lint
+#include <mit-copyright.h>
#include <stdio.h>
#include <com_err.h>
#include <gdb.h>