#include <stdlib.h>
#include <stdio.h>
#include <ffi.h>
#define MAX_ARGS 256
#define CHECK(x) (!(x) ? abort() : (void)0)