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