What if `tysize[ty1] == 2`, would you need a mask like in the constant case above?