private void ReadAttributeValueBinary (AttrNodeInfo a)
{
a.ValueIndex = attr_value_count;
if (attr_value_count == attr_values.Count)
attr_values.Add (new NodeInfo (true));
NodeInfo v = attr_values [attr_value_count++];
v.Reset ();
int ident = ReadByteOrError ();
bool end = ident > 0x80 && (ident & 1) == 1;
ident -= end ? 1 : 0;
ReadTextOrValue ((byte) ident, v, true);
}