--
-- Generated by RecordFlux {version} on {date}
--
-- Copyright (C) 2018-{year} AdaCore GmbH
--
-- SPDX-License-Identifier: Apache-2.0
--

