#include <limits>
  int max_int = std::numeric_limits<int>::max();