#include <stdio.h>
#include <string.h>
#include <unistd.h>
#include <fcntl.h>
#include <sys/stat.h>
#include <sys/mman.h>

#include "fileread.h"
#include "threadedSearch.h"

__code state0(TSValue ts);

#include "stateCbC.cc"
int main(int argc, char **argv) {
    char *filename;
    for (int i = 1; i < argc; i++) {
        if (strcmp(argv[i],"-file") == 0) {
            filename = argv[i+1]; i++;
        }
    }

    int fd = 0;
    st_mmap_t st_mmap = createSt_mmap(filename,fd);
    Buffer buff = createBuffer(st_mmap);
    TSValue tsv = createTSValue(NULL,buff);
    close(fd);
    goto state0(tsv);
    return 0;
}

/* end */