// SPDX-License-Identifier: GPL-3.0 contract C {}