SIZEOFT64
if (sizeof(du) < SIZEOFT64) {
SIZEOFT64);
ASNOUT((void *) ptr, du, SIZEOFT64);
nbytes = SIZEOFT64;