itConst (ITVec elts size) x = C.Vector (replicate size (itConst (ITFixed elts) x))
itConst (ITVec elts size) x = C.Vector (replicate size (itConst (ITFixed elts) x))
itConst (ITVec elts size) x = C.Vector (replicate size (itConst (ITFixed elts) x))