CHECK_CXX_SOURCE_COMPILES("
  #include <cstdio>
  #include <cstdlib>

  int main()
  {
      int* p2 = static_cast<int*>(std::aligned_alloc(1024, 1024));
      std::free(p2);
      return 0;
  }
  " HAVE_STD_ALIGNED_ALLOC)