#include "tlibc/errors.h" /// call once at the start of main() Result(void) tlibc_init(); void tlibc_deinit();