import Data.Array.Vector
import Data.Word
main = print (lengthU (replicateU 1 (7 :: Word16)))