// SPDX-License-Identifier: GPL-2.0 int d(void) { return 0; }