00095.err2.c.cvc5

return code: 2
./src/example-archive/c-testsuite/broken/error-cerberus/00095.err2.c:10:9: error: constraint violation: incompatible pointer types returning 'signed int (*) (void)' from a function with result type 'void*'
	return &main;
	^      ~~~~~