PRINTF_WORD_HEX_FMT
printf("Imported mpinv from modulus=" PRINTF_WORD_HEX_FMT, fp_ctx_mpinv.val[0]);
printf("Computed mpiv from file =" PRINTF_WORD_HEX_FMT, fp_ctx_param.mpinv);
printf("Imported mpinv from modulus=" PRINTF_WORD_HEX_FMT, fp_ctx_prec.val[0]);
printf("Computed mpiv from file =" PRINTF_WORD_HEX_FMT, fp_ctx_param.p_reciprocal);
printf(PRINTF_WORD_HEX_FMT, WORD_T_GENERIC_IN(j)); \
printf(PRINTF_WORD_HEX_FMT, *(WORD_T_GENERIC_OUT(j))); \
printf(PRINTF_WORD_HEX_FMT, WORD_T_GENERIC_IN(j)); \
printf(PRINTF_WORD_HEX_FMT, (word_t)fun_output); \
printf(PRINTF_WORD_HEX_FMT, WORD_T_GENERIC_IN(j)); \
ext_printf(PRINTF_WORD_HEX_FMT, a->val[w]);