remove limitation on the same bit_length for charis and state