Update vdbeInt.h

自用