let
dataIn64 = vect64 (dataIn 1)