(trivial) using namespace std;