Improved `__attribute__((cleanup))` through `defer` (opens in new tab)

The specs look good but "again" this is a problem that's been solved by other languages since years, I think particularily to D "scope guards" (https://dlang.org/spec/statement.html#scope-guard-statement).