// Use something defined not in headers but in the CGAL library to test that is was indeed properly built and linked to,
#include <CGAL/Random.h>
int main()
{
volatile const CGAL::Random* r = &CGAL::get_default_random();
return (r != 0) ? 0 : 1;
}