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

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

	stack<int> s;

	REPEAT_TIMED( "push_int",
		s.push( rand() );
	)
}