#ifndef UNICODEIO_H
# define UNICODEIO_H

# include <stdio.h>

/* Outputs the Unicode character CODE to the output stream STREAM.  */
extern void print_unicode_char (FILE *stream, unsigned int code);

#endif