1 2 3
// SPDX-FileCopyrightText: 2023 Andreas Schmidt <andreas.schmidt@cs.uni-saarland.de> // // SPDX-License-Identifier: MIT