pub const __HAVE_FLOAT16: c_int = 0;