static void CheckError(int error) { if (error == 0) return; throw new DatabaseException( Marshal.PtrToStringAnsi(db_strerror(error)) ); }