pub const SQLITE_BUSY_SNAPSHOT: u32 = 517; // 517u32