#include <stdio.h>
#include <stdnoreturn.h>

extern noreturn void test(void);

int test2(void)
{
	test();
	printf("Unreachable\n");
}