pub unsafe extern "C" fn falcon_det1024_pubkey_coeffs( h: *mut u16, pubkey: *const c_void, ) -> c_int