CHECK_CXX_SOURCE_COMPILES (
		  "int test (void *__restrict__ x); int main (void) {return 0;}"
			HAVE___RESTRICT__)