+static void
+print_llu_from_low_high_val(struct tcb *tcp, int arg)
+{
+#if SIZEOF_LONG == SIZEOF_LONG_LONG
+# if SUPPORTED_PERSONALITIES > 1
+ if (current_wordsize == sizeof(long))
+# endif
+ tprintf("%lu", (unsigned long) tcp->u_arg[arg]);
+# if SUPPORTED_PERSONALITIES > 1
+ else
+ tprintf("%lu",
+ ((unsigned long) tcp->u_arg[arg + 1] << current_wordsize * 8)
+ | (unsigned long) tcp->u_arg[arg]);
+# endif
+#else
+# ifdef X32
+ if (current_personality == 0)
+ tprintf("%llu", (unsigned long long) tcp->ext_arg[arg]);
+ else
+# endif
+ tprintf("%llu",
+ ((unsigned long long) (unsigned long) tcp->u_arg[arg + 1] << sizeof(long) * 8)
+ | (unsigned long long) (unsigned long) tcp->u_arg[arg]);
+#endif
+}