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