--
-- Generated by RecordFlux {version} on {date}
--
-- Copyright (C) 2018-{year} AdaCore GmbH
--
-- This file is distributed under the terms of the GNU Affero General Public License version 3.
--

