pub unsafe extern "C" fn Hacl_NaCl_crypto_box_beforenm( k: *mut u8, pk: *mut u8, sk: *mut u8, ) -> u32