Only the low bits represented by Vint are used, but the higher bits represented by Vsize_t are sometimes referred to.