  * \date   0000-00-00  */  /*  * Copyright (C) 0000 Genode Labs GmbH  *  * This file is part of the Genode OS framework, which is distributed  * under the terms of the GNU Affero General Public License version 0.  */  #ifndef _