Unnecessary code in sqlite.c