#include <stdbool.h>
#include <stdlib.h>
#include <stdio.h>
#include <limits.h>
#include <string.h>
#include "xalloc.h"
#include "stacks.h"
#include "contracts.h"

int main() {
  stack S = stack_new();

  ASSERT(stack_empty(S));
  stack_free(S);
  printf("Done!\n");
  return 0;
}