/*
 *	$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_inst_001_c = "$Header$";
#endif	lint

#include <mit-copyright.h>
#include <stdio.h>
#include <gdb.h>

STRING instructions = { 0, 0 };
extern CONNECTION conn;
extern int have_instructions;
extern int code;

/*
 * instruction sequence transmission:
 * syntax:
 *	>>> (STRING) "inst_001"
 *	<<< (int)0
 *	>>> (STRING) instructions
 *	<<< (int)0
 */

inst_001(str)
     char *str;
{
     if (send_ok())
	  lose("sending okay for inst_001");
     code = receive_object(conn, (char *)&instructions, STRING_T);
     if (code) {
	  report_error("reporting failure to receive instructions");
	  return;
     }
     have_instructions = 1;
     if (send_ok())
	  lose("sending okay after instructions");
#ifdef DEBUG
     printf("got instructions: %s\n", STRING_DATA(instructions));
#endif
}