Export and document *c2ffi-program*