(Fdecode_char): Modify number of arguments of EXFUN setting.