Constant tagMKREDUCE_MKRREDUCE_TOUSER

pub const tagMKREDUCE_MKRREDUCE_TOUSER: tagMKREDUCE = 131072;