print " fputs (\"\\n\", file);";
for (i = 0; i < n_opt_other; i++) {
print " if (ptr->" var_opt_other[i] ")";
- print " fprintf (file, \"%*s%s (0x%lx)\\n\",";
+ print " fprintf (file, \"%*s%s (%#lx)\\n\",";
print " indent_to, \"\",";
print " \"" var_opt_other[i] "\",";
print " (unsigned long)ptr->" var_opt_other[i] ");";
for (i = 0; i < n_opt_int; i++) {
print " if (ptr->" var_opt_int[i] ")";
- print " fprintf (file, \"%*s%s (0x%x)\\n\",";
+ print " fprintf (file, \"%*s%s (%#x)\\n\",";
print " indent_to, \"\",";
print " \"" var_opt_int[i] "\",";
print " ptr->" var_opt_int[i] ");";
for (i = 0; i < n_opt_short; i++) {
print " if (ptr->" var_opt_short[i] ")";
- print " fprintf (file, \"%*s%s (0x%x)\\n\",";
+ print " fprintf (file, \"%*s%s (%#x)\\n\",";
print " indent_to, \"\",";
print " \"" var_opt_short[i] "\",";
print " ptr->" var_opt_short[i] ");";
for (i = 0; i < n_opt_char; i++) {
print " if (ptr->" var_opt_char[i] ")";
- print " fprintf (file, \"%*s%s (0x%x)\\n\",";
+ print " fprintf (file, \"%*s%s (%#x)\\n\",";
print " indent_to, \"\",";
print " \"" var_opt_char[i] "\",";
print " ptr->" var_opt_char[i] ");";
print " fputs (\"\\n\", file);";
for (i = 0; i < n_target_other; i++) {
print " if (ptr->" var_target_other[i] ")";
- print " fprintf (file, \"%*s%s (0x%lx)\\n\",";
+ print " fprintf (file, \"%*s%s (%#lx)\\n\",";
print " indent, \"\",";
print " \"" var_target_other[i] "\",";
print " (unsigned long)ptr->" var_target_other[i] ");";
for (i = 0; i < n_target_int; i++) {
print " if (ptr->" var_target_int[i] ")";
- print " fprintf (file, \"%*s%s (0x%x)\\n\",";
+ print " fprintf (file, \"%*s%s (%#x)\\n\",";
print " indent, \"\",";
print " \"" var_target_int[i] "\",";
print " ptr->" var_target_int[i] ");";
for (i = 0; i < n_target_short; i++) {
print " if (ptr->" var_target_short[i] ")";
- print " fprintf (file, \"%*s%s (0x%x)\\n\",";
+ print " fprintf (file, \"%*s%s (%#x)\\n\",";
print " indent, \"\",";
print " \"" var_target_short[i] "\",";
print " ptr->" var_target_short[i] ");";
for (i = 0; i < n_target_char; i++) {
print " if (ptr->" var_target_char[i] ")";
- print " fprintf (file, \"%*s%s (0x%x)\\n\",";
+ print " fprintf (file, \"%*s%s (%#x)\\n\",";
print " indent, \"\",";
print " \"" var_target_char[i] "\",";
print " ptr->" var_target_char[i] ");";