Copyright (c) 2007-2013, INRIA (Institut National de Recherches en
Informatique et Automatique).  All rights reserved.