import Data.Array.Vector
main = print (lengthU (replicateU 1 ()))