#include <stdlib.h>
#include <stdio.h>

[[noreturn]] int die( int code );
int do_something();

int main()
{
	int i;

	( i = 0 ) || die( -1 );
	do_something() || die( -2 );
}

int die( int code )
{
	fprintf( stderr, "Fatal error %x\n", abs( code ) );
	exit( code );
}

int do_something()
{
	return 1;
}