// ignore-license void some_c_symbol() {}