#include <stdlib.h>
#include <stdio.h>
#include <tak.h>

int main(int argc, char **argv) {
  cell_t x = CELL_EMPTY_VALUE;
  printf("Test %d\n",x);
}