2013-04-06-09.42.45: Combined C types Vunt, Punt (Val-sized unsigned int, pointer-sized unsigned int) into just Vunt, since the distinction only matters when sizeof(int) != sizeof(void*), which is true on no architecture of interest, and cannot be maintained without regular testing on such an architecture.