import Data.Array.Vector
main = print . sumU $ consU (0xdeadbeef::Int) emptyU