Update vdbe.c