ftyToTy (FArith (ATInt (ITVec e c)))
    = VectorType (fromIntegral c) (IntegerType (fromIntegral $ nativeTyWidth e))
ftyToTy (FArith (ATInt (ITVec e c)))
    = VectorType (fromIntegral c) (IntegerType (fromIntegral $ nativeTyWidth e))
ftyToTy (FArith (ATInt (ITVec e c)))
    = VectorType (fromIntegral c) (IntegerType (fromIntegral $ nativeTyWidth e))