char CPU2_SLEEPING = 1;
char CPU2_AWAITING_DATA = 2;
char CPU2_RECEIVED_DATA = 3;
char CPU2_EVALUATION_COMPLETE = 4;
char CPU2_RESET = 5;


typedef struct {
	char cpu2state;

	unsigned short int size;
	unsigned short int buf[1200];

	unsigned short int subseq_len;
	unsigned short int subseq_start_idx;
} message_buffer_struct;