public static Object write_ucs2( bucs2 s,
output_port p )
{
int value= s.value;
p.write( "#u" );
p.write( hexa[ (value & 0xf000) >> 12 ] );
p.write( hexa[ (value & 0x0f00) >> 8 ] );
p.write( hexa[ (value & 0x00f0) >> 4 ] );
p.write( hexa[ (value & 0x000f) ] );
return p;
}