+ mp::Session session1;
+ mp::Session session2;
+ mp::Session session3;
+ mp::Session session4;
+ mp::Session session5;
+
+ BOOST_CHECK_EQUAL (session5.id(), (unsigned long) 5);
+
+ mp::Session session = session3;
+
+ BOOST_CHECK_EQUAL (session.id(), (unsigned long) 3);