/* * Copyright (c) 2019 SEAL AG * * SPDX-License-Identifier: Apache-2.0 */ #include