All three problems are fixed on trunk, by these check-ins: * PoC #1: [check-in c76a4c0b3cb62501](src:/info/c76a4c0b3cb62501) * PoC #2: [check-in e199a851e316bd47](src:/info/e199a851e316bd47) * PoC #3: [check-in 73c2b50211d3ae26](src:/info/73c2b50211d3ae26) PoC #1 is a faulty assert() statement and is harmless to production builds. PoC #2 is a real bug but it is minor and should not cause problems in a production build. PoC #3, on the other hand, could lead to database corruption if a SAVEPOINT is rolled back and the outer transaction goes on to commit. PoC #3 was introduced by [check-in 23ca23894af352ea](src:/timeline?c=23ca23894af352ea) about 10 months ago.