1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */

     1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */

     2 /*

     2 /*

     3  * Copyright (c) 2008 INRIA

     3  * Copyright (c) 2008 INRIA

     5  *

     4  *

     6  * This program is free software; you can redistribute it and/or modify

     5  * This program is free software; you can redistribute it and/or modify

     7  * it under the terms of the GNU General Public License version 2 as

     6  * it under the terms of the GNU General Public License version 2 as

     8  * published by the Free Software Foundation;

     7  * published by the Free Software Foundation;

     9  *

     8  *