text: //  Copyright (c) 2007-2012 Hartmut Kaiser
  //
  //  Distributed under the Boost Software License, Version 1.0. (See accompanying
  //  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  
  #include <hpx/hpx_fwd.hpp>
  #include <hpx/hpx_init.hpp>
  
  ///////////////////////////////////////////////////////////////////////////////
  // Forwarding of hpx_main, if necessary. This has to be in a separate
  // translation unit to ensure the linker can pick or ignore this function,
  // depending on whether the main executable defines this symbol or not.
  int hpx_main(int argc, char* argv[])
  {
      // Invoke hpx::user_main
      int result = hpx::user_main(argc, argv);
      hpx::finalize();
      return result;
  }
  