header for C interface