#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <ffi.h>

#define MAX_ARGS 256

#define CHECK(x) !(x) ? abort() : 0