move ffi stuff from header to imply