pub unsafe extern "C" fn falcon_det1024_hash_to_point_coeffs( c: *mut u16, data: *const c_void, data_len: usize, salt_version: u8, )