67 	static const int EXIT_CODE_SUCCESS = 0;

    67 	static const int EXIT_CODE_SUCCESS = 0;

    68 	static const int EXIT_CODE_UNEXPECTED_ERROR = 1;

    68 	static const int EXIT_CODE_UNEXPECTED_ERROR = 1;

    69 	static const int EXIT_CODE_BAD_SYNTAX = 3;

    69 	static const int EXIT_CODE_BAD_SYNTAX = 3;

    70 	static const int EXIT_CODE_UNKNOWN_COMMAND = 4;

    70 	static const int EXIT_CODE_UNKNOWN_COMMAND = 4;

    71 	static const int EXIT_CODE_DATA_ERROR = 5;

    71 	static const int EXIT_CODE_DATA_ERROR = 5;

    72 

    73 

    73 	/**

    74 	/**

    74 	 * std::cin and std::cout are "tied" by default i.e. reading from std::cin causes flush of the std::cout.

    75 	 * std::cin and std::cout are "tied" by default i.e. reading from std::cin causes flush of the std::cout.

    75 	 * Call this to "untie" them and have less write() calls (better buffering).

    76 	 * Call this to "untie" them and have less write() calls (better buffering).

    76 	 */

    77 	 */