Sorry, I misread. Is it on sqlite.org somewhere?