// ignore-license void foo() {}