valueToSC sym _ _ (Cryptol.TVSeq 32 Cryptol.TVBit) (IVal x) =
  do st <- liftIO (sawCoreState sym)
     liftIO (toSC sym st x)
valueToSC sym _ _ (Cryptol.TVSeq 32 Cryptol.TVBit) (IVal x) =
  do st <- liftIO (sawCoreState sym)
     liftIO (toSC sym st x)
valueToSC sym _ _ (Cryptol.TVSeq 32 Cryptol.TVBit) (IVal x) =
  do st <- liftIO (sawCoreState sym)
     liftIO (toSC sym st x)