uint64
qpart = (x*(uint64)v)>>31;
qpart = (x*(uint64)v)>>31;
uint64_t uint64;
SDP_GET64(value.uint64, start);
printf("uint64 %ju\n", value.uint64);
uint64_t uint64;
SDP_GET64(value.uint64, start);
fprintf(stdout, "u/int64 %ju\n", value.uint64);