 vdbe_debug