
SPDX-License-Identifier LGPL-2.1
Copyright (C)
Jean-Christophe Filliatre
Modified by
CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
