#include <stdlib.h>
#include "bench.h"
#include "cfa-stack.h"

int main(int argc, char** argv) {
	srand(20171025);

	stack(int) s;
	REPEAT_TIMED( "push_int",
		push( &s, rand() );
	)

	stack(int) t;
	TIMED( "copy_int", 
		t = s;
	)

	TIMED( "clear_int", 
		clear( &s );
	)

	int sum;
	REPEAT_TIMED( "pop_int", 
		sum += pop( &t );
	)
}