 vdbe_listing