Building a L4 server in c++