#include <stdio.h>
#include <stdlib.h>
#include "libutf-8-1.0/fget.utf-8.c"

int main()
{
	unsigned int c;
	
	while((c=fgetu8(stdin))!=EOF) {
		if (c!=INVALID) {
		 	if (c<=0x7f) {
				putchar(c);
			} else {
				printf("\\[u%04X]",c);
			}
		}
		else {
			fputs("Error decoding UTF-8\n",stderr);
			exit(1);
		}
	}
	exit(0);
}