DDF.UInt

data UInt h x