if (entering(tcp)) {
printfd(tcp, tcp->u_arg[0]);
tprintf(", %lld, ",
- ((unsigned long long) (unsigned long) tcp->u_arg[1]) << 32
- | (unsigned long long) (unsigned long) tcp->u_arg[2]);
+ (widen_to_ull(tcp->u_arg[1]) << 32)
+ | widen_to_ull(tcp->u_arg[2]));
} else {
printnum_int64(tcp, tcp->u_arg[3], "%" PRIu64);
tprints(", ");