
SPDX-License-Identifier BSD-3-Clause
Copyright (C) 2001-2003
George C. Necula    <necula@cs.berkeley.edu>
Scott McPeak        <smcpeak@cs.berkeley.edu>
Wes Weimer          <weimer@cs.berkeley.edu>
Ben Liblit          <liblit@cs.berkeley.edu>
All rights reserved.
File modified by
CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
INRIA (Institut National de Recherche en Informatique et Automatique)
