%{
#include <stdio.h>
#include <ctype.h>

void put_utf8(int);


%}
%START BUCK
%%

"<"            BEGIN 0; ECHO;

">"            BEGIN BUCK; ECHO;

<BUCK>"'"	        put_utf8(0x0621);
<BUCK>"|"		put_utf8(0x0622);
<BUCK>"&gt;"            put_utf8(0x0623);
<BUCK>"&amp;"		put_utf8(0x0624);
<BUCK>"&lt;"		put_utf8(0x0625);
<BUCK>"}"		put_utf8(0x0626);
<BUCK>"A"		put_utf8(0x0627);
<BUCK>"b"		put_utf8(0x0628);
<BUCK>"p"		put_utf8(0x0629);
<BUCK>"t"		put_utf8(0x062a);
<BUCK>"v"		put_utf8(0x062b);
<BUCK>"j"		put_utf8(0x062c);
<BUCK>"H"		put_utf8(0x062d);
<BUCK>"x"		put_utf8(0x062e);
<BUCK>"d"		put_utf8(0x062f);
<BUCK>"*"		put_utf8(0x0630);
<BUCK>"r"		put_utf8(0x0631);
<BUCK>"z"		put_utf8(0x0632);
<BUCK>"s"		put_utf8(0x0633);
<BUCK>"$"		put_utf8(0x0634);
<BUCK>"S"		put_utf8(0x0635);
<BUCK>"D"		put_utf8(0x0636);
<BUCK>"T"		put_utf8(0x0637);
<BUCK>"Z"		put_utf8(0x0638);
<BUCK>"E"		put_utf8(0x0639);
<BUCK>"g"		put_utf8(0x063a);

<BUCK>"_"		put_utf8(0x0640);
<BUCK>"f"		put_utf8(0x0641);
<BUCK>"q"		put_utf8(0x0642);
<BUCK>"k"		put_utf8(0x0643);
<BUCK>"l"		put_utf8(0x0644);
<BUCK>"m"		put_utf8(0x0645);
<BUCK>"n"		put_utf8(0x0646);
<BUCK>"h"		put_utf8(0x0647);
<BUCK>"w"		put_utf8(0x0648);
<BUCK>"Y"		put_utf8(0x0649);
<BUCK>"y"		put_utf8(0x064a);

<BUCK>"F"		put_utf8(0x064b);
<BUCK>"N"		put_utf8(0x064c);
<BUCK>"K"		put_utf8(0x064d);
<BUCK>"a"		put_utf8(0x064e);
<BUCK>"u"		put_utf8(0x064f);
<BUCK>"i"		put_utf8(0x0650);
<BUCK>"~"		put_utf8(0x0651);
<BUCK>"o"		put_utf8(0x0652);

<BUCK>"`"		put_utf8(0x0670);
<BUCK>"{"		put_utf8(0x0671);

<BUCK>"^"               ;
<BUCK>"-"               ;

.	ECHO;
\n	{ ECHO; fflush(stdout); }
%%

void
put_utf8(int in)
{
  char out[7];
  int count;

  int mask = 0x3f;
  
  if (in <= 0x7f) {
    count = 1;
    out[0] = in;
  }
  else if (in >= 0x80 && in <= 0x7ff) {
    count = 2;

    out[1] = (in & mask) | 0x80;
    out[0] = ((in >> 6) & mask) | (0xf << (8 - count)); /* 0xc0; */
  }
  else if (in >= 0x800 && in <= 0xffff) {
    count = 3;

    out[2] = (in & mask) | 0x80;
    out[1] = ((in >> 6) & mask) | 0x80;
    out[0] = ((in >> 12) & mask) | (0xf << (8 - count)); /* 0xe0; */
  }

  out[count] = '\0';

  printf("%s", out);

  /* printf("%x %x\n", 0xc0, ((0x0f << 5) & 0xff)); */
}