namespace hpx {
  int finalize(double, double = -1.0, error_code & = throws);
  int finalize(error_code & = throws);
  BOOST_ATTRIBUTE_NORETURN void terminate();
  int disconnect(double, double = -1.0, error_code & = throws);
  int disconnect(error_code & = throws);
  int stop(error_code & = throws);
}