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

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

	struct stack s = new_stack();

	REPEAT_TIMED( "push_int",
		int* x = malloc(sizeof(int));
		*x = rand();
		push_stack(&s, x);
	)

	clear_stack(&s);
}