public override int GetHashCode() { int h = type ^ bt_len; for (int i = 0; i < bt_len; i ++) { h ^= bt [i]; h *= 31; } return h; }