#include "tsqlite.h" int main(){ Deferral(32); try_fatal_void(tlibc_init()); try_fatal_void(tsqlite_init()); Defer(tlibc_deinit()); Defer(tsqlite_deinit()); Return 0; }