Update vdbeInt.h