* valprint.c (val_print_fields): Call fprint_symbol to get