scratch.c

#define safe_init() safeenv *res; _safe_init(senv)
#define safe_add(x, y, z) senv = _safe_add(senv, x, y, z); if (*senv == ERANGE); goto _safe_end;
#define safe_end() _safe_end: free(senv)

int foo ()
{
	int a, b, c, d;

	safe_init();
	safe_add(a, b, &d);
	safe_add(d, c, &d);
	safe_end();
}