#ifndef ISO_8859_15_H
#define ISO_8859_15_H

#include <stdint.h>

uint8_t iso8859_15_from_unicode(uint32_t c);
uint32_t unicode_from_iso8859_15(uint8_t c);
void print_iso8859_15_char(char c);
#endif