do not const propagate UInt