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

int main(void) {
  KekeSymbol s = keke_new_symbol();
  if (s == KEKE_NULL_SYMBOL) {
    puts("s != KEKE_NULL_SYMBOL\nTEST FAILED");
    return 1;
  } else {
    puts("s != KEKE_NULL_SYMBOL\nTEST PASSED\n");
  }

  KekeSymbol t = keke_new_symbol();
  if (s == t) {
    puts("s == t\nTEST FAILED");
    return 1;
  } else {
    puts("s != t\nTEST PASSED\n");
  }
}