add add(VuintT, VuintT, uint32_t)