Update vdbe.c

up