#include "bench.h"

unsigned char result[CONTEXT_NR];

void result_push(int context, unsigned char value) {
	result[context] ^= value;
}

unsigned char result_reset(int context) {
	unsigned char value;
	value = result[context];
	result[context] = 0;
	return value;
}