Debugging memory allocation in L4Re