import Data.Array.Vector
import Data.Int
main = print (lengthU (replicateU 1 (7 :: Int8)))