#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() );
	)
}