code: def value(self) -> Optional[int]:
          
          if self.symbolic:
              return None
          assert isinstance(self.raw, z3.BitVecNumRef)
          return self.raw.as_long()
docs: Returns the value of this symbol if concrete, otherwise None.
  
          :return: