#include "third_party/sqlite3/vdbeaux.c"