EXFUN (Fmake_char, 3);
EXFUN (Fdecode_char, 3);
+EXFUN (Fput_char_attribute, 3);
+
+
/************************************************************************/
/* Char-ID Tables */
/************************************************************************/