#include <stdio.h>
#include "c_stack.h"

main()
{
  Stack s;
  int i;

  s = new_stack();

  stack_push(s, new_jval_i(1));
  stack_push(s, new_jval_i(2));
  stack_push(s, new_jval_i(3));

  i = jval_i(stack_pop(s));
  printf("First pop: %d\n", i);

  i = jval_i(stack_pop(s));
  printf("Second pop: %d\n", i);

  free_stack(s);
}