printf (" Value:     %.20" PRINTF_EXPR "\n", value); printf (" Parameter: %.20" PRINTF_EXPR "\n", parameter);
printf (" Value:     % .20" PRINTF_EXPR "  % .20" PRINTF_XEXPR "\n", value, value); printf (" Parameter: % .20" PRINTF_EXPR "  % .20" PRINTF_XEXPR "\n", parameter, parameter);
output_isvalue_ext (const char *test_name, int result,		    MATHTYPE value, MATHTYPE parameter){  if (result)    {      output_pass_value ();    }  else    {      output_fail_value (test_name);      if (verbose > 1)	{	  printf (" Value:     %.20" PRINTF_EXPR "\n", value);	  printf (" Parameter: %.20" PRINTF_EXPR "\n", parameter);	}      noErrors++;    }  fpstack_test (test_name);}