#include int size_of_ffi_type (void) { return sizeof (ffi_type); } void hs2c_ffi_type (ffi_type *p, size_t v1, unsigned short v2, unsigned short v3, ffi_type **v4) { p->size = v1; p->alignment = v2; p->type = v3; p->elements = v4; } void c2hs_ffi_type (ffi_type *p, size_t *p1, unsigned short *p2, unsigned short *p3, ffi_type ***p4) { *p1 = p->size; *p2 = p->alignment; *p3 = p->type; *p4 = p->elements; }