blob: 0009e09824f8198567ad192544509633f5940864 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#include <inttypes.h>
typedef unsigned __int128 uint128_t;
void store_uprod(uint128_t *dest, uint64_t x, uint64_t y) {
*dest = x * (uint128_t) y;
}
int main() {
return 0;
}
|