pub unsafe extern "C" fn EverCrypt_CTR_update_block( p: *mut EverCrypt_CTR_state_s, dst: *mut u8, src: *mut u8, )