protected static string format_4_bits(int value)
{
char b1 = ((value & 0x08) != 0) ? '1' : '0';
char b2 = ((value & 0x04) != 0) ? '1' : '0';
char b3 = ((value & 0x02) != 0) ? '1' : '0';
char b4 = ((value & 0x01) != 0) ? '1' : '0';
return String.Concat (b1, b2, b3, b4);
}