(print_char_table): Use `Charset_ID' instead of `int'.